Applications of categories in computer science/
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
- Cambridge University Press, 1992.
- 339 p.
- Londom mathematical society lecture note series; 177 .
- London Mathematical Society lecture note series; 177. .