TY - RPRT TI - Breaking a monad-comonad symmetry between computational effects AU - Jean-Guillaume Dumas AU - Dominique Duval AU - Jean-Claude Reynaud PY - 2014 DO - 10.1017/s0960129511000752 UR - https://arxiv.org/abs/1402.1051 ID - 1402.1051 ER -