![](/img/cover-not-exists.png)
Functions over free algebras definable in the simply typed lambda calculus
Daniel LeivantVolume:
121
Year:
1993
Language:
english
Pages:
13
DOI:
10.1016/0304-3975(93)90092-8
File:
PDF, 805 KB
english, 1993