On the lambda definable higher-order boolean functionals
Tytuł:
On the lambda definable higher-order boolean functionals
Czasopismo:
Rok:
1989
Strony:
181-190
Tom (seria wydawnicza):
12