The Lambda Calculus / Its Syntax and Semantics
The Lambda Calculus / Its Syntax and Semantics
- Elsevier Science Publishers B.V, 1985
- 624
Preface, Introduction, Conversion, Reduction, Theories, Models, Conversion, Classical Lambda Calculus, The Theory of Combinators, The λ I-Calculus, Bohm Trees, Reduction, Fundamental Theorems, Strongly Equivalent Reductions, Reduction Strategies, Labelled Reduction, Other Notions of Reduction, Other Lambda Theories, Models, Construction of Models, Local Structure of Models, Global Structure of Models, Combinatory Groups, Appendices, Typed Lambda. Illative Combinatory Logic, Variables, Reference, Index of Names and Definitions and Symbols.
444867481
Preface, Introduction, Conversion, Reduction, Theories, Models, Conversion, Classical Lambda Calculus, The Theory of Combinators, The λ I-Calculus, Bohm Trees, Reduction, Fundamental Theorems, Strongly Equivalent Reductions, Reduction Strategies, Labelled Reduction, Other Notions of Reduction, Other Lambda Theories, Models, Construction of Models, Local Structure of Models, Global Structure of Models, Combinatory Groups, Appendices, Typed Lambda. Illative Combinatory Logic, Variables, Reference, Index of Names and Definitions and Symbols.
444867481