@ARTICLE{GLN08, author = {Jean Goubault-Larrecq and S{\l}awomir Lasota and David Nowak}, title = {Logical Relations for Monadic Types}, JOURNAL = {Mathematical Structures in Computer Science}, YEAR = {2008}, VOLUME = {18}, NUMBER = {6}, PAGES = {1169-1217} }