Categories for Typesby Roy L. Crole
Pub. Date: 11/28/2002
Publisher: Cambridge University Press
This explanation of the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories introduces the reader to ordered set theory, lattices and domains, providing many examples for an introduction to category theory.
Table of Contents1. 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.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >