The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
Product Description
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
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. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Technical Specifications
You might also like
Denotational Semantics (Computer Science Series): The Scott-Strachey Approach to Programming Language Theory (Computer Science Series)
The Little Typer (The MIT Press)
Types and Programming Languages (The MIT Press)
Interactive Theorem Proving and Program Development
Purely Functional Data Structures
From Mathematics to Generic Programming
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
Computability: An Introduction to Recursive Function Theory
Category Theory in Context (Aurora: Dover Modern Math Originals)