Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings (Springer, 1995)