Pseudo-commutative monads (2001)

by M Hyland, A J Power
Venue:Proc. MFPS 2001,” Electronic Notes in Theoret. Comp. Science 45