Categories for types. Roy L. Crole
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Print Book, English, 1993
University Press, Cambridge, 1993
XVII, 335 p. ; 24 cm.
9780521450928, 9780521457019, 0521450926, 0521457017
911310126
1. Order, lattices and domains; 2. Basic category theory; 3. Algebraic type theory; 4. Functional type theory; 5. Polymorphic functional type theory; 6. Higher order polymorphism.