Categories for Types - Crole, Roy L. (Imperial College of Science, Technology and Medicine, London) - Books - Cambridge University Press - 9780521457019 - January 27, 1994
In case cover and title do not match, the title is correct

Categories for Types

Crole, Roy L. (Imperial College of Science, Technology and Medicine, London)

Price
Íkr 13,369
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 29 - Nov 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Categories for Types

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

356 pages, several line drawings

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 27, 1994
ISBN13 9780521457019
Publishers Cambridge University Press
Pages 356
Dimensions 229 × 152 × 26 mm   ·   580 g
Language English  

See all of Crole, Roy L. (Imperial College of Science, Technology and Medicine, London) ( e.g. Hardcover Book and Paperback Book )