Skip to main content

The Lambda Calculus

Its Syntax and Semantics

  • 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

The Lambda Calculus

Purchase options

LIMITED OFFER

Save 50% on book bundles

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

Image of books

Institutional subscription on ScienceDirect

Request a sales quote
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.