Books

Short works

Books : reviews

Benjamin C. Pierce.
Basic Category Theory for Computer Scientists.
MIT Press. 1991