Category theory and computer programming : proceedings - Pitt David; Conference on Category and Computer Programming( 1985 : Guildford ); Conference on Category and Computer Programming Guildford, 1985 (Berlin Springer Verlag, 1986)
Keywords: Category theory; Computer programming; Computer science