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