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

Thumbnail Image
Download
Name

MIT-LCS-TM-207.pdf

Size

5.39 MB

Format

Adobe PDF

Checksum (MD5)

aa7ccda6d840ba45b44f214efb1cb770

Author(s)
Longo, Guiseppe
Date Issued
November 1981
Series/Report no.
MIT-LCS-TM-207
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.