A Characterization of Lambda Definable Tree Operations
Tytuł:
A Characterization of Lambda Definable Tree Operations
Czasopismo:
Rok:
1990
Strony:
35-46
Tom (seria wydawnicza):
89