Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings - Pitt, David (David H.) (Lecture notes in computer science, 1986)