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