On the lambda definable tree operations
Tytuł:
On the lambda definable tree operations
Czasopismo:
Rok:
1988
Strony:
279-292
Tom (seria wydawnicza):
425