Applications of categories in computer science: proceedings of the LMS Symposium, Durham 1991 by LMS Durham Symposium, Johnstone, Peter T., Fourman, Michael Paul, Pitts, Andrew M. fromLondon Mathematical Society lecture note series 0 Type: Book
