Categories for Types (Cambridge Mathematical Textbooks) | 
 enlarge | Author: Roy L. Crole
Publisher: Cambridge University Press
Category: Book
List Price: $65.00
Buy New: $50.45
You Save: $14.55 (22%)
New (19) Used (7) from $50.45
Rating:  1 reviews
Sales Rank: 546233
Media: Paperback
Pages: 356
Number Of Items: 1
Shipping Weight (lbs): 1.2
Dimensions (in): 8.9 x 6 x 1
ISBN: 0521457017
Dewey Decimal Number: 511.3
EAN: 9780521457019
Publication Date: March 25, 1994
Availability: Usually ships in 1-2 business days
| |
| Similar Items:
|
| Editorial Reviews:
Product Description
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specializing in category theory.
Book Description
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.
|
| Customer Reviews:
Excellent introduction to categories for computer scientists November 15, 1997
peter@opus.geg.mot.com (Fountain Hills, Arizona)
7 out of 8 found this review helpful
The book gives you all of the cateogry theory you need to study type theory. The examples are from domains that are comfortable for computer scientists. The difficult proofs are given in great detail, while other books often gloss over the details.
|
|
|
