| _version_ |
1826206481343578112
|
| author |
Longo, Guiseppe
|
| author_facet |
Longo, Guiseppe
|
| author_sort |
Longo, Guiseppe
|
| collection |
MIT
|
| first_indexed |
2024-09-23T13:32:50Z
|
| id |
mit-1721.1/149018
|
| institution |
Massachusetts Institute of Technology
|
| last_indexed |
2024-09-23T13:32:50Z
|
| publishDate |
2023
|
| record_format |
dspace
|
| spelling |
mit-1721.1/1490182023-03-30T03:37:41Z Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms Longo, Guiseppe 2023-03-29T14:20:02Z 2023-03-29T14:20:02Z 1981-11 https://hdl.handle.net/1721.1/149018 9157713 MIT-LCS-TM-207 application/pdf
|
| spellingShingle |
Longo, Guiseppe
Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
|
| title |
Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
|
| title_full |
Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
|
| title_fullStr |
Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
|
| title_full_unstemmed |
Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
|
| title_short |
Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
|
| title_sort |
power set models of lambda calculus theories expansions isomorphisms
|
| url |
https://hdl.handle.net/1721.1/149018
|
| work_keys_str_mv |
AT longoguiseppe powersetmodelsoflambdacalculustheoriesexpansionsisomorphisms
|