Combining a monad and a comonad. Theoret (2002)

by John Power, Hiroshi Watanabe
Venue:Comput. Sci