Complete Lax Logical Relations for Cryptographic Lambda-Calculi (2004)

by Jean Goubault-larrecq , David Nowak , Yu Zhang
Venue:In Proceedings of CSL’2004, volume 3210 of LNCS
Citations:2 - 1 self