On the lambda definable tree operations

Tytuł:
On the lambda definable tree operations
Czasopismo:
Rok:
1988

Strony:
279-292

Tom (seria wydawnicza):
425