@book{ Solr-11181138, title = {Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991}, series = {London Mathematical Society lecture note series ;}, editor = {LMS Durham Symposium (1991)}, editor = {Fourman, M. P., 1950-}, editor = {Johnstone, P. T.}, editor = {Pitts, A. M. (Andrew M.)}, address = {Cambridge ; New York}, publisher = {Cambridge University Press}, year = {1992}, pages = {339}, note = {Title from PDF title page (viewed on Apr. 9, 2013).}, note = {"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"--Preface.}, }