Skip to main content
PBS logo
 
 

Search - Categories for Types (Cambridge Mathematical Textbooks)

Categories for Types (Cambridge Mathematical Textbooks)
Categories for Types - Cambridge Mathematical Textbooks
Author: Roy L. Crole
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, n...  more »
ISBN-13: 9780521457019
ISBN-10: 0521457017
Publication Date: 3/25/1994
Pages: 353
Rating:
  • Currently 3/5 Stars.
 1
3 stars, based on 1 rating
Publisher: Cambridge University Press
Book Type: Paperback
Other Versions: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.