Complete lax logical relations for cryptographic lambda-calculi (2004)

by J Goubault-Larrecq, S Lasota, D Nowak, Y Zhang
Venue:In Proceedings of CSL’2004, volume 3210 of LNCS