Categories for Types (Cambridge Mathematical Textbooks)

by Crole (Author)

New
Paperback
1994
$67.74

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

Synopsis

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

$67.74

Save:$8.57 (11%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 356
Publisher: Cambridge University Press
Published: 27 Jan 1994
ISBN 10: 0521457017
ISBN 13: 9780521457019

Categories for Types (Cambridge Mathematical Textbooks)

New

$67.74

Synopsis

$67.74

More Information