Search:

Product Information All Elsevier Sites   Advanced Product Search
SiteStat.jsp
THE LAMBDA CALCULUS, 103
Its Syntax and Semantics
To order this title, and for more information, click here
Second Edition

By
H.P. Barendregt

Reviews
Zentralblatt für Mathematik
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...



Journal of Symbolic Logic
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...
The Lambda Calculus, 103
Reviews
Submit your review
Book contents
Table of contents
Printer-friendly version   Printer-friendly version