Download PDFOpen PDF in browserA simple and complete model theory for intensional and extensional untyped λ-equality13 pages•Published: February 12, 2014AbstractWe 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.In: Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday, vol 42, pages 165-177.
|