This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Table of Contents
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.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >