LMS Durham Symposium (1991)

• Applications of categories in computer science
• Applications of categories in computer science