Lambda Calculus kHV its Hovels
- 1 January 1984
- book chapter
- Published by Elsevier
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
- Completeness, invariance and λ-definabilityThe Journal of Symbolic Logic, 1982
- What is a model of the lambda calculus?Information and Control, 1982
- Algebras and combinatorsAlgebra universalis, 1981
- Lambda‐Calculus Models and ExtensionalityMathematical Logic Quarterly, 1980
- Principio di estensionalità nel calcolo dei combinatoriCalcolo, 1974