Distributivity for a monad and a comonad (1999)

by J Power, H Watanabe
Venue:In Procs. CMCS’99, volume 19 of ENTCS