Applications of categories in computer science: proceedings - Fourman, M. P.; Johnstone, P. T.; Pitts, A. M. (Cambridge Cambridge University Press, 1992)
Keywords: Computer Science-Applications of Categories(Mathematics); Computer Science-Applications of Category Theory(Mathematics)