Product operations in strong monads (1993)

by R Heckmann
Venue:Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Workshops in Computing