Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
| dc.contributor.author | Longo, Guiseppe | en_US |
| dc.date.accessioned | 2023-03-29T14:20:02Z | |
| dc.date.available | 2023-03-29T14:20:02Z | |
| dc.date.issued | 1981-11 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149018 | |
| dc.relation.ispartofseries | MIT-LCS-TM-207 | |
| dc.title | Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms | en_US |
| dc.identifier.oclc | 9157713 |
