Notes on an Approach to Category Theory for Computer Scientists (1989)

by C A R Hoare
Venue:Constructive Methods in Computing Science, volume 55 of NATO Advanced Science Institute Series