@InProceedings{GLNZ04, author = {Jean Goubault-Larrecq and S{\l}awomir Lasota and David Nowak and Yu Zhang}, title = {Complete lax logical relations for cryptographic lambda-calculi}, booktitle = {Proceedings of the 17th Annual Conference of the European Association for Computer Science Logic (CSL'04)}, month = Sep, year = 2004, volume = 3210, pages = {400--414}, series = {LNCS}, publisher = {Springer-Verlag} }