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 W. 1931- (John Walker); Scedrov Andre 1955- (American Mathematical Society, 1989)