Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings - Pitt, D. H. (Lecture notes in computer science ;, 1991)