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. $85.47, 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.
Add this copy of Categories for Types to cart. $94.09, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1994 by Cambridge University Press.
Add this copy of Categories for Types to cart. $97.35, like new condition, Sold by Anabaino Books rated 2.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 to cart. $102.63, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1994 by Cambridge University Press.
Add this copy of Categories for Types to cart. $108.15, new condition, Sold by Revaluation Books rated 4.0 out of 5 stars, ships from Exeter, DEVON, UNITED KINGDOM, published 1994 by Cambridge Univ Pr.
Add this copy of Categories for Types (Cambridge Mathematical Textbooks) to cart. $129.10, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1994 by Cambridge University Press.