Categories for Types [Paperback]

Roy L. Crole (Author)

List Price:	CDN$ 74.95
Price:	CDN$ 64.21 & this item ships for FREE with Super Saver Shipping. Details
You Save:	CDN$ 10.74 (14%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Usually ships within 4 to 6 weeks.
Ships from and sold by Amazon.ca. Gift-wrap available.

Formats	Amazon Price		New from	Used from
Hardcover	CDN $134.80		--	--
Paperback	CDN $64.21		--	--

Product Details

Paperback: 356 pages
Publisher: Cambridge University Press (Mar 25 1994)
Language: English
ISBN-10: 0521457017
ISBN-13: 978-0521457019
Product Dimensions: 2.3 x 1.5 x 0.2 cm
Shipping Weight: 558 g
Amazon Bestsellers Rank: #1,681,823 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Product Description

Review

"A well-organized introduction to categorical methods of lambda calculus...The individual topics are treated in a uniform, balanced style from introduction, syntax, to categorical models and categorical-type theory correspondence." Jiri Adamek, Mathematical 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.

See all Product Description

Inside This Book (Learn More)

First Sentence
DISCUSSION 1 .1.1 We shall begin by giving an informal description of some of the topics which appear in Chapter 1. Read the first page

Explore More
Concordance

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Customer Reviews

There are no customer reviews yet on Amazon.ca

5 star:		(0)
4 star:		(0)
3 star:		(0)
2 star:		(0)
1 star:		(0)

Share your experience with this product with others

Create your own review

Most Helpful Customer Reviews on Amazon.com ^(beta)

Amazon.com: 5.0 out of 5 stars (1 customer review)

10 of 11 people found the following review helpful

5.0 out of 5 stars Excellent introduction to categories for computer scientists, Nov 14 1997

By peter@opus.geg.mot.com - Published on Amazon.com

This review is from: Categories for Types (Hardcover)

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.

› Go to Amazon.com to see the review 5.0 out of 5 stars