The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are...
Comments: I have this book checked out from a university library, and it is quite... This encyclopedic monograph is now a classic of this field, lambda-calculus,... This is a great book. A must buy for all graduate students in computer science.... I accidently bought this book thinking I was buying a traditional calculus book... Read More »
Thanks for your interest in The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics). OldCars.com Classic Car Classifieds provides a complete marketplace of classic-car-related merchandise! Be sure to check out our related links above.