|
|
Sold Out
Book Categories |
1. Order, lattices and domains;
2. Basic category theory;
3. Algebraic type theory;
4. Functional type theory;
5. Polymorphic functional type theory;
6. Higher order polymorphism.
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Denise Bartlett
reviewed Categories for Types on July 28, 2012
Categories for Types
Too terse for my taste. The proofs are too telegraphic, probably with the intention of treating a large number of theorems / results. It's an excellent compendium (a lot of new material) but it's not a book to learn Graph Theory from.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Categories for Types
X
This Item is in Your Inventory
Categories for Types
X
You must be logged in to review the productsX
X
X
Add 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. It introduces the reader to ordered set theory, lattices and domains, and this material provides ple, Categories for Types to the inventory that you are selling on WonderClubX
X
Add 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. It introduces the reader to ordered set theory, lattices and domains, and this material provides ple, Categories for Types to your collection on WonderClub |
