Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings - Pitt, D. H.; Poigné, A.; Rydeheard, D. E. (Lecture notes in computer science ;, 1987)