Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms

Author(s)
Longo, Guiseppe
Thumbnail
DownloadMIT-LCS-TM-207.pdf (5.393Mb)
Metadata
Show full item record
Date issued
1981-11
URI
https://hdl.handle.net/1721.1/149018
Series/Report no.
MIT-LCS-TM-207
Collections