The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)

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 »

Related Items

1. Types and Programming Languages
2. Lambda-Calculus and Combinators: An Introduction
3. Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
4. Purely Functional Data Structures
5. An Introduction to Lambda Calculi for Computer Scientists