@inproceedings{DBLP:conf/csl/Goubault-LarrecqLN02,
  author    = {Jean Goubault{-}Larrecq and
               Slawomir Lasota and
               David Nowak},
  editor    = {Julian C. Bradfield},
  title     = {Logical Relations for Monadic Types},
  booktitle = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th
               Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
               22-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2471},
  pages     = {553--568},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45793-3\_37},
  doi       = {10.1007/3-540-45793-3\_37},
  timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/csl/Goubault-LarrecqLN02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"SgTJgwiK8ErYmYWxr","bibbaseid":"goubaultlarrecq-lasota-nowak-logicalrelationsformonadictypes-2002","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Goubault-Larrecq, J.","Lasota, S.","Nowak, D."],"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":[]}],"editor":[{"firstnames":["Julian","C."],"propositions":[],"lastnames":["Bradfield"],"suffixes":[]}],"title":"Logical Relations for Monadic Types","booktitle":"Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings","series":"Lecture Notes in Computer Science","volume":"2471","pages":"553–568","publisher":"Springer","year":"2002","url":"https://doi.org/10.1007/3-540-45793-3_37","doi":"10.1007/3-540-45793-3_37","timestamp":"Wed, 06 Nov 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/csl/Goubault-LarrecqLN02.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/csl/Goubault-LarrecqLN02,\n author = {Jean Goubault{-}Larrecq and\n Slawomir Lasota and\n David Nowak},\n editor = {Julian C. Bradfield},\n title = {Logical Relations for Monadic Types},\n booktitle = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th\n Annual Conference of the EACSL, Edinburgh, Scotland, UK, September\n 22-25, 2002, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2471},\n pages = {553--568},\n publisher = {Springer},\n year = {2002},\n url = {https://doi.org/10.1007/3-540-45793-3\\_37},\n doi = {10.1007/3-540-45793-3\\_37},\n timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/csl/Goubault-LarrecqLN02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Goubault-Larrecq, J.","Lasota, S.","Nowak, D."],"editor_short":["Bradfield, J. C."],"key":"DBLP:conf/csl/Goubault-LarrecqLN02","id":"DBLP:conf/csl/Goubault-LarrecqLN02","bibbaseid":"goubaultlarrecq-lasota-nowak-logicalrelationsformonadictypes-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-45793-3_37"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.665Z","downloads":0,"keywords":[],"search_terms":["logical","relations","monadic","types","goubault-larrecq","lasota","nowak"],"title":"Logical Relations for Monadic Types","year":2002,"dataSources":["QsobDjoLrbY9ktAcA"]}