Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991
1991
Cambridge
Cambridge University Press
1992
339 p. : ill
London Mathematical Society lecture note series; 771
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
Includes bibliographies
ISBN 0521427266
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts