Distributivity for a monad and a comonad, in:Procs (1999)

by J Power, H Watanabe
Venue:CMCS’99, ENTCS