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.

Dummy View - NOT TO BE DELETED