Basic Category Theory for Computer Scientists
by Benjamin C. Pierce
3.57(138 ratings)
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, …