How To Define Functionals on Free Structures in Typed lambda Calculus
Tytuł:
How To Define Functionals on Free Structures in Typed lambda Calculus
Czasopismo:
Rok:
1989
Strony:
566-576
Tom (seria wydawnicza):
379