Strong monads, algebras and fixed points (1991)

by P S Mulry
Venue:Applications of Categories in Computer Science: Proceedings of the LMS Symposium