Combining a monad and a comonad, Theor (0)

by J Power, H Watanabe
Venue:Comput. Sci