The Lambda Calculus. Its Syntax and Semantics

摘要: Towards the Theory. Introduction. Conversion. Reduction. Theories. Models. Classical Lambda Calculus. The Theory of Combinators. Calculus (Continued). Lambda-Calculus. Bohm Trees. Fundamental Theorems. Strongly Equivalent Reductions. Reduction Strategies. Labelled Other Notions Sensible Construction Local Structure Global Combinatory Groups. Appendices: Typed Illative Logic. Variables. References.