TY  - RPRT
TI  - On Completeness of Logical Relations for Monadic Types
AU  - Slawomir Lasota
AU  - David Nowak
AU  - Yu Zhang
PY  - 2006
DO  - 10.1007/978-3-540-77505-8_17
UR  - https://arxiv.org/abs/cs/0612106
ID  - cs/0612106
ER  -