Categories in computer science and logic : - Gray, John W. (John Walker), 1931-; Scedrov, Andrej, 1955- (Contemporary mathematics (American Mathematical Society), 1989)