Categories for Types
by
Roy L. Crole
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
Product Classification:
Mathematical logicAlgebraCalculus & mathematical analysis
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.
