Applications of Categories in Computer Science

Proceedings of the London Mathematical Society Symposium, Durham 1991

Applications of Categories in Computer Science