Jean Goubault-Larrecq Slawomir Lasota David Nowak Logical relations for monadic types. 1169-1217 2008 18 Mathematical Structures in Computer Science 6 http://dx.doi.org/10.1017/S0960129508007172 db/journals/mscs/mscs18.html#Goubault-LarrecqLN08