Lambda‐Calculus Models and Extensionality
- 1 January 1980
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 26 (19-21) , 289-310
- https://doi.org/10.1002/malq.19800261902
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Tω as a Universal DomainJournal of Computer and System Sciences, 1978
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- A Syntactic Characterization of the Equality in Some Models for the Lambda CalculusJournal of the London Mathematical Society, 1976
- The λ-calculus is ω-incompleteThe Journal of Symbolic Logic, 1974
- Combinatory logic and the ω-ruleFundamenta Mathematicae, 1974
- Combinatory logic and the axiom of choiceIndagationes Mathematicae, 1973
- Continuous latticesLecture Notes in Mathematics, 1972
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940