author : Carl A. Gunter

Contents:

1. Introduction
2. The simply-typed lambda-calculus
3. Categorical models of simple types
4. Recursive definitions of functions
5. Two theories of finite approximation
6. Relating interpretations
7. Types and evaluation
8. Universal domains
9. Subtype polymorphism
10. Domain theory
11. Parametric polymorphism