Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 - Fourman, M. P., 1950-; Johnstone, P. T.; Pitts, A. M. (Andrew M.) (Cambridge University Press, 1992)
"The London Mathematical Society Symposium on Applications of Categories in Computer Science took place ... at the University of Durham from 20 to 30 July 1991."–Pref.