Word Operations Definable in the Typed lambda Calculus
Tytuł:
Word Operations Definable in the Typed lambda Calculus
Czasopismo:
Rok:
1987
Strony:
1-14
Tom (seria wydawnicza):
52