Complete Lax Logical Relations for Cryptographic Lambda-Calculi.

Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang

Browse the full CSL paper archive.