You are here

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers and Richard Statman
Publisher: 
Cambridge University Press
Publication Date: 
2013
Number of Pages: 
833
Format: 
Hardcover
Series: 
Perspectives in Logic
Price: 
90.00
ISBN: 
9780521766142
Category: 
Monograph
We do not plan to review this book.

List of contributors
Preface
Introduction
Part I. Simple Types:
1. The simply typed lambda calculus
2. Properties
3. Tools
4. Definability, unification and matching
5. Extensions
6. Applications
Part II. Recursive Types:
7. The systems
8. Properties of recursive types
9. Properties of terms with types
10. Models
11. Applications
Part III. Intersection Types:
12. An exemplary system
13. Type assignment systems
14. Basic properties
15. Type and lambda structures
16. Filter models
17. Advanced properties and applications
Bibliography
Symbol index
Names index
Definitions index.