Skip to main content

The Lambda Calculus

Its Syntax and Semantics

  • 2nd Edition, Volume 103 - November 1, 1985
  • 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

BACK-TO-SCHOOL

Fuel your confidence!

Up to 25% off learning resources

Elsevier academics book covers
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.

Related books