Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference, held June 14-20, 1987 with support from the National Science Foundation - Gray, John Walker; Ščedrov, Andrej (Contemporary mathematics, 1989)