Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : Proceedings

David H. Pitt , Samson Abramsky , A. Poigne