Applications of categories in computer science : - Fourman, M. P., 1950-; Johnstone, P. T.; Pitts, A. M. (Andrew M.) (London Mathematical Society lecture note series, 1992)