This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Read More
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Read Less
Add this copy of Categories for Types to cart. $77.38, good condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2002 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 650grams, ISBN: 9780521457019.
Add this copy of Categories for Types to cart. $97.35, like new condition, Sold by Anabaino Books rated 1.0 out of 5 stars, ships from Lubbock, TX, UNITED STATES, published 2002 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. No dust jacket. Hardcover, octavo, Fine contents in Near Fine colored, printed boards (as DJ), 335 pp., incl. bibliography and index. (Cambridge Mathematical Textbooks)
Add this copy of Categories for Types (Cambridge Mathematical Textbooks) to cart. $58.78, good condition, Sold by Goodbookscafe rated 4.0 out of 5 stars, ships from Macon, GA, UNITED STATES, published 1994 by Cambridge University Press.
Add this copy of Categories for Types (Cambridge Mathematical Textbooks) to cart. $60.48, good condition, Sold by BooksRun rated 4.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 1994 by Cambridge University Press.
Add this copy of Categories for Types to cart. $89.34, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1994 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 356 p. Cambridge Mathematical Textbooks. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Categories for Types to cart. $90.71, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1994 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 356 p. Cambridge Mathematical Textbooks. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Categories for Types to cart. $90.72, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1994 by Cambridge University Press.