Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991
LMS Durham Symposium M. P Fourman; P. T Johnstone; A. M Pitts; Andrew M Pitts A. M. Pitts P. T. Johnstone
Cambridge Cambridge University Press 1992
Acesso online. A biblioteca também possui exemplares impressos.