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