Category theory and computer science proceedings - Pitt, David ed.; CTCS'95 International Conference( 6 : 1995 :Cambridge ); CTCS`95International conference : 6 , Cambridge, United Kingdom 1995 (Berlin Springer Verlag, 1995)
Keywords: Category theory; Computer science