Category Theory For Computing Science
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1990 |
| Authors | Michael Barr |
| Charles Wells | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2058004 |
About Category Theory For Computing Science
A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. Over 300 exercises are included.
