Category theory and computer science : proceedings - Pitt D H; Conference on Category theory and Computer Science( 3rd : 1989 : Manchester ); Conference on Category theory and Computer Science 3rd Manchester, 1989 (Berlin Springer Verlag, 1989)
Keywords: Category theory; Computer science