Set-theoretical models of λ-calculus: theories, expansions, isomorphisms
- 31 August 1983
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 24 (2) , 153-188
- https://doi.org/10.1016/0168-0072(83)90030-1
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A filter lambda model and the completeness of type assignmentThe Journal of Symbolic Logic, 1983
- Algebras and combinatorsAlgebra universalis, 1981
- Lambda‐Calculus Models and ExtensionalityMathematical Logic Quarterly, 1980
- Ω Can be anything it should not beIndagationes Mathematicae, 1979
- Data Types as LatticesSIAM Journal on Computing, 1976
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-CalculusSIAM Journal on Computing, 1976