The Lambda Calculus
Its Syntax and Semantics
- 2nd Edition, Volume 103 - November 1, 1985
- Latest edition
- Author: H.P. Barendregt
- Language: English
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
Robotics & automation week
Empowering Progress
Up to 20% on Robotics and Automation Resources!
"This book is (almost) an encyclopedia of type-free lambda calculus...The reviewer is surprised by the author's success in getting in such an amount of material with motivations and complete proofs..."—Zentralblatt für Mathematik
"It brings together virtually all of the current knowledge on the subject and will be indispensable for serious students of the lambda calculus..."—Journal of Symbolic Logic
"There must have been an exceptional amount of effort to ensure the high quality of text and printing..."—Journal of Symbolic Logic
- Edition: 2
- Latest edition
- Volume: 103
- Published: November 1, 1985
- Language: English