Categories for Types
by
Roy L. Crole
Book Details
Format
Hardback or Cased Book
ISBN-10
0521450926
ISBN-13
9780521450928
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
642 grams
Dimensions
23.60 x 15.60 x 2.50 cms
Product Classification:
Mathematical logicAlgebraCalculus & mathematical analysis
Ksh 23,600.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.
