You are here

Lambda Calculus with Types

Publisher: 
Cambridge University Press
Number of Pages: 
833
Price: 
90.00
ISBN: 
9780521766142
Date Received: 
Tuesday, October 8, 2013
Reviewable: 
No
Include In BLL Rating: 
No
Henk Barendregt, Wil Dekkers and Richard Statman
Series: 
Perspectives in Logic
Publication Date: 
2013
Format: 
Hardcover
Category: 
Monograph

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.

Publish Book: 
Modify Date: 
Tuesday, October 8, 2013

Dummy View - NOT TO BE DELETED