@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}
}

{"_id":"J3zbtrTWNcSLan3o9","bibbaseid":"goubaultlarrecq-lasota-nowak-zhang-completelaxlogicalrelationsforcryptographiclambdacalculi-2004","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Goubault-Larrecq, J.","Lasota, S.","Nowak, D.","Zhang, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jean"],"propositions":[],"lastnames":["Goubault-Larrecq"],"suffixes":[]},{"firstnames":["Slawomir"],"propositions":[],"lastnames":["Lasota"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]},{"firstnames":["Yu"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"editor":[{"firstnames":["Jerzy"],"propositions":[],"lastnames":["Marcinkowski"],"suffixes":[]},{"firstnames":["Andrzej"],"propositions":[],"lastnames":["Tarlecki"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/csl/Goubault-LarrecqLNZ04,\n author = {Jean Goubault{-}Larrecq and\n Slawomir Lasota and\n David Nowak and\n Yu Zhang},\n editor = {Jerzy Marcinkowski and\n Andrzej Tarlecki},\n title = {Complete Lax Logical Relations for Cryptographic Lambda-Calculi},\n booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th\n Annual Conference of the EACSL, Karpacz, Poland, September 20-24,\n 2004, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {3210},\n pages = {400--414},\n publisher = {Springer},\n year = {2004},\n url = {https://doi.org/10.1007/978-3-540-30124-0\\_31},\n doi = {10.1007/978-3-540-30124-0\\_31},\n timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/csl/Goubault-LarrecqLNZ04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Goubault-Larrecq, J.","Lasota, S.","Nowak, D.","Zhang, Y."],"editor_short":["Marcinkowski, J.","Tarlecki, A."],"key":"DBLP:conf/csl/Goubault-LarrecqLNZ04","id":"DBLP:conf/csl/Goubault-LarrecqLNZ04","bibbaseid":"goubaultlarrecq-lasota-nowak-zhang-completelaxlogicalrelationsforcryptographiclambdacalculi-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-30124-0_31"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.664Z","downloads":0,"keywords":[],"search_terms":["complete","lax","logical","relations","cryptographic","lambda","calculi","goubault-larrecq","lasota","nowak","zhang"],"title":"Complete Lax Logical Relations for Cryptographic Lambda-Calculi","year":2004,"dataSources":["QsobDjoLrbY9ktAcA"]}