A simple and complete model theory for intensional and extensional untyped λ-equality
| Autor: | Michael Gabbay |
|---|---|
| Rok vydání: | 2018 |
| Zdroj: | EPiC Series in Computing. |
| ISSN: | 2398-7340 |
| DOI: | 10.29007/2vzl |
| Popis: | We present a sound and complete model theory for theories of β-reduction with or without η-expansion. We then show in what conditions we obtain models of β-equality and βη-equality. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|