LIMITED OFFER

## Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code needed.

Skip to main content# The Lambda Calculus

## Its Syntax and Semantics

## Purchase options

## Save 50% on book bundles

## Institutional subscription on ScienceDirect

Request a sales quote**Towards the Theory.** Introduction. Conversion. Reduction. Theories. Models. **Conversion.** Classical Lambda Calculus. The Theory of Combinators. Classical Lambda Calculus (Continued). The Lambda-Calculus. Böhm 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.

- 2nd Edition, Volume 103 - October 1, 1984
- Author: H.P. Barendregt
- Language: English
- Paperback ISBN:9 7 8 - 0 - 4 4 4 - 8 7 5 0 8 - 2
- Hardback ISBN:9 7 8 - 0 - 4 4 4 - 8 6 7 4 8 - 3
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 9 3 3 7 5 - 7

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner.… Read more

LIMITED OFFER

Immediately download your ebook while waiting for your print delivery. No promo code needed.

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

- No. of pages: 654
- Language: English
- Edition: 2
- Volume: 103
- Published: October 1, 1984
- Imprint: North Holland
- Paperback ISBN: 9780444875082
- Hardback ISBN: 9780444867483
- eBook ISBN: 9780080933757

Read *The Lambda Calculus* on ScienceDirect