Cart 0
Categories for Types
Click to zoom

Share this book

Categories for Types

Book Details

Format Paperback / Softback
ISBN-10 0521457017
ISBN-13 9780521457019
Publisher Cambridge University Press
Imprint Cambridge University Press
Country of Manufacture GB
Country of Publication GB
Publication Date Jan 27th, 1994
Print length 356 Pages
Weight 580 grams
Dimensions 15.20 x 22.90 x 2.60 cms
Ksh 12,400.00
Manufactured on Demand 0 in stock

Delivery Location

Delivery fee: Select location

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

Get Categories for Types by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.

Mind, Body, & Spirit

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.