Combining a monad and a comonad (0)

by John Power, Hiroshi Watanabe
Venue:Theoretical Computer Science