@book{40666,
author = {AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic and Gray, John W. and National Science Foundation.},
title = {Categories in computer science and logic :},
publisher = {American Mathematical Society,},
year = {c1989.},
series = {Contemporary mathematics, },
address = {Providence, R.I. :},
note = {"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation"--T.p verso.},
url = {http://www.ams.org/conm/092/}
}