|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
9 of 10 people found the following review helpful:
5.0 out of 5 stars
Excellent introduction to categories for computer scientists,
By peter@opus.geg.mot.com (Fountain Hills, Arizona) - See all my reviews
This review is from: Categories for Types (Studies in Emotion and Social Interaction) (Hardcover)
The book gives you all of the cateogry theory you need to study type theory. The examples are from domains that are comfortable for computer scientists. The difficult proofs are given in great detail, while other books often gloss over the details.
|
|
Most Helpful First | Newest First
|
|
Categories for Types (Cambridge Mathematical Textbooks) by Roy L. Crole (Paperback - March 25, 1994)
$74.00 $67.51
In Stock | |
 
| ||
