Products The Lambda Calculus, 103 Book information Product description Author information and services Ordering information Bibliographic and ordering information Conditions of sale Book-related information Submit your book proposal Other books in same subject area Support & contact About Elsevier Select your view

	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...	Reviews Submit your review Book contents Table of contents