Category theory and computer science : proceedings - Pitt D H; Conference on Category theory and Computer Science( 2nd : 1987 : Edinburgh ); Conference on Category theory and Computer Science Edinburgh, 2nd, 1987 (Berlin Springer Verlag, 1987)
Keywords: Category theory; Computer science