"Basic Category Theory for Computer Scientists"
E1093138
UNEXPLORED
"Basic Category Theory for Computer Scientists" is an introductory textbook by Benjamin C. Pierce that presents the fundamentals of category theory with a focus on applications in computer science, particularly in programming language semantics and type theory.
All labels observed (1)
| Label | Occurrences |
|---|---|
| "Basic Category Theory for Computer Scientists" canonical | 2 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.