Functions over free algebras definable in the simply typed...

Functions over free algebras definable in the simply typed lambda calculus

Daniel Leivant
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
121
Year:
1993
Language:
english
Pages:
13
DOI:
10.1016/0304-3975(93)90092-8
File:
PDF, 805 KB
english, 1993
Conversion to is in progress
Conversion to is failed