@article{DBLP:journals/mscs/Goubault-LarrecqLN08,
  author    = {Jean Goubault{-}Larrecq and
               Slawomir Lasota and
               David Nowak},
  title     = {Logical relations for monadic types},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {18},
  number    = {6},
  pages     = {1169--1217},
  year      = {2008},
  url       = {https://doi.org/10.1017/S0960129508007172},
  doi       = {10.1017/S0960129508007172},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/Goubault-LarrecqLN08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ZE89GjKKhGaTRLCHt","bibbaseid":"goubaultlarrecq-lasota-nowak-logicalrelationsformonadictypes-2008","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Goubault-Larrecq, J.","Lasota, S.","Nowak, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jean"],"propositions":[],"lastnames":["Goubault-Larrecq"],"suffixes":[]},{"firstnames":["Slawomir"],"propositions":[],"lastnames":["Lasota"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]}],"title":"Logical relations for monadic types","journal":"Math. Struct. Comput. Sci.","volume":"18","number":"6","pages":"1169–1217","year":"2008","url":"https://doi.org/10.1017/S0960129508007172","doi":"10.1017/S0960129508007172","timestamp":"Wed, 01 Apr 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/mscs/Goubault-LarrecqLN08.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/mscs/Goubault-LarrecqLN08,\n author = {Jean Goubault{-}Larrecq and\n Slawomir Lasota and\n David Nowak},\n title = {Logical relations for monadic types},\n journal = {Math. Struct. Comput. Sci.},\n volume = {18},\n number = {6},\n pages = {1169--1217},\n year = {2008},\n url = {https://doi.org/10.1017/S0960129508007172},\n doi = {10.1017/S0960129508007172},\n timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/mscs/Goubault-LarrecqLN08.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Goubault-Larrecq, J.","Lasota, S.","Nowak, D."],"key":"DBLP:journals/mscs/Goubault-LarrecqLN08","id":"DBLP:journals/mscs/Goubault-LarrecqLN08","bibbaseid":"goubaultlarrecq-lasota-nowak-logicalrelationsformonadictypes-2008","role":"author","urls":{"Paper":"https://doi.org/10.1017/S0960129508007172"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.591Z","downloads":0,"keywords":[],"search_terms":["logical","relations","monadic","types","goubault-larrecq","lasota","nowak"],"title":"Logical relations for monadic types","year":2008,"dataSources":["QsobDjoLrbY9ktAcA"]}