%0 Conference Paper %1 conf/asian/LasotaNZ06 %A Lasota, Slawomir %A Nowak, David %A Zhang, Yu %B ASIAN %D 2006 %E Okada, Mitsu %E Satoh, Ichiro %I Springer %K dblp %P 223-230 %T On Completeness of Logical Relations for Monadic Types. %U http://dblp.uni-trier.de/db/conf/asian/asian2006.html#LasotaNZ06 %V 4435 %@ 978-3-540-77504-1

@inproceedings{conf/asian/LasotaNZ06, added-at = {2019-11-06T00:00:00.000+0100}, author = {Lasota, Slawomir and Nowak, David and Zhang, Yu}, biburl = {https://www.bibsonomy.org/bibtex/254af54d51508057216258dd6fcb7ae25/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/2006}, editor = {Okada, Mitsu and Satoh, Ichiro}, ee = {https://doi.org/10.1007/978-3-540-77505-8_17}, interhash = {335dd52ce21ced2a77be7029da84099c}, intrahash = {54af54d51508057216258dd6fcb7ae25}, isbn = {978-3-540-77504-1}, keywords = {dblp}, pages = {223-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:42:42.000+0100}, title = {On Completeness of Logical Relations for Monadic Types.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian2006.html#LasotaNZ06}, volume = 4435, year = 2006 }