@inproceedings{LNZ-asian06, author = {Lasota, S{\l}awomir and Nowak, David and Zhang, Yu}, booktitle = {{P}roc.\ ASIAN'06}, title = {On completeness of logical relations for monadic types}, year = {2007}, volume = {4435}, pages = {223--230}, series = {LNCS} }