Complete Lax Logical Relations for Cryptographic Lambda-Calculi. Goubault-Larrecq, J., Lasota, S., Nowak, D., & Zhang, Y. In Marcinkowski, J. & Tarlecki, A., editors, Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, volume 3210, of Lecture Notes in Computer Science, pages 400–414, 2004. Springer.
Complete Lax Logical Relations for Cryptographic Lambda-Calculi [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/csl/Goubault-LarrecqLNZ04,
  author    = {Jean Goubault{-}Larrecq and
               Slawomir Lasota and
               David Nowak and
               Yu Zhang},
  editor    = {Jerzy Marcinkowski and
               Andrzej Tarlecki},
  title     = {Complete Lax Logical Relations for Cryptographic Lambda-Calculi},
  booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
               Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
               2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3210},
  pages     = {400--414},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-30124-0\_31},
  doi       = {10.1007/978-3-540-30124-0\_31},
  timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/csl/Goubault-LarrecqLNZ04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0