Title: The Lambda Calculus - Its Syntax and Semantics
Abstract: Towards the Theory. Introduction. Conversion. Reduction. Theories. Models. Conversion. Classical Lambda Calculus. The Theory of Combinators. Classical Lambda Calculus (Continued). The Lambda-Calculus. Bohm Trees. Reduction. Fundamental Theorems. Strongly Equivalent Reductions. Reduction Strategies. Labelled Reduction. Other Notions of Reduction. Theories. Sensible Theories. Other Lambda Theories. Models. Construction of Models. Local Structure of Models. Global Structure of Models. Combinatory Groups. Appendices: Typed Lambda Calculus. Illative Combinatory Logic. Variables. References.
Publication Year: 1984
Publication Date: 1984-01-01
Language: en
Type: book
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2862
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot