Document Preview Unavailable
On Completeness of Logical Relations for Monadic Types
Lasota, Slawomir; Nowak, David; Zhang, Yu. arXiv.org, Dec 21, 2006.You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library




