Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings - Pitt, David (David H.); Rydeheard, D. E. (David E.); Johnstone, P. T. (Springer, 1995)