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.; Biennial Conference on Category Theory and Computer Science Cambridge, England) 1995 (Berlin Springer, 1995)
Keywords: Electronic digital computers -- Programming -- Congresses; Categories (Mathematics) -- Congresses