TY  - RPRT
TI  - Logical Relations for Monadic Types
AU  - Jean Goubault-Larrecq
AU  - Slawomir Lasota
AU  - David Nowak
PY  - 2008
DO  - 10.1017/s0960129508007172
UR  - https://arxiv.org/abs/cs/0511006
ID  - cs/0511006
ER  -