Category theory and computer science : proceedings - Pitt D H; Summer Conference on Category Theory and Computer Science( 4th : 1991 : Paris ); Summer Conference on Category Theory and Computer Science 4th Paris, 1991 (Berlin Springer Verlag, 1991)
Keywords: Category theory; Computer science