Categories for Types

Categories for Types

by Roy L. Crole
     
 

ISBN-10: 0521457017

ISBN-13: 9780521457019

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.  See more details below

Overview

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.

Product Details

ISBN-13:
9780521457019
Publisher:
Cambridge University Press
Publication date:
11/28/2002
Series:
Cambridge Mathematical Textbooks Series
Pages:
356
Product dimensions:
5.90(w) x 8.90(h) x 1.00(d)

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >