@inproceedings{DBLP:conf/frocos/BiendarraBBDFHK17,
  author    = {Julian Biendarra and
               Jasmin Christian Blanchette and
               Aymeric Bouzy and
               Martin Desharnais and
               Mathias Fleury and
               Johannes H{\"{o}}lzl and
               Ondrej Kuncar and
               Andreas Lochbihler and
               Fabian Meier and
               Lorenz Panny and
               Andrei Popescu and
               Christian Sternagel and
               Ren{\'{e}} Thiemann and
               Dmitriy Traytel},
  editor    = {Clare Dixon and
               Marcelo Finger},
  title     = {Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic},
  booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
               2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10483},
  pages     = {3--21},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66167-4\_1},
  doi       = {10.1007/978-3-319-66167-4\_1},
  timestamp = {Sun, 25 Oct 2020 22:43:11 +0100},
  biburl    = {https://dblp.org/rec/conf/frocos/BiendarraBBDFHK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tiZfoJdgybSs9amMD","bibbaseid":"biendarra-blanchette-bouzy-desharnais-fleury-hlzl-kuncar-lochbihler-etal-foundationalcodatatypesandcorecursionforhigherorderlogic-2017","author_short":["Biendarra, J.","Blanchette, J. C.","Bouzy, A.","Desharnais, M.","Fleury, M.","Hölzl, J.","Kuncar, O.","Lochbihler, A.","Meier, F.","Panny, L.","Popescu, A.","Sternagel, C.","Thiemann, R.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Julian"],"propositions":[],"lastnames":["Biendarra"],"suffixes":[]},{"firstnames":["Jasmin","Christian"],"propositions":[],"lastnames":["Blanchette"],"suffixes":[]},{"firstnames":["Aymeric"],"propositions":[],"lastnames":["Bouzy"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Desharnais"],"suffixes":[]},{"firstnames":["Mathias"],"propositions":[],"lastnames":["Fleury"],"suffixes":[]},{"firstnames":["Johannes"],"propositions":[],"lastnames":["Hölzl"],"suffixes":[]},{"firstnames":["Ondrej"],"propositions":[],"lastnames":["Kuncar"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Lochbihler"],"suffixes":[]},{"firstnames":["Fabian"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Lorenz"],"propositions":[],"lastnames":["Panny"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Popescu"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Sternagel"],"suffixes":[]},{"firstnames":["René"],"propositions":[],"lastnames":["Thiemann"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Marcelo"],"propositions":[],"lastnames":["Finger"],"suffixes":[]}],"title":"Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic","booktitle":"Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10483","pages":"3–21","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-66167-4_1","doi":"10.1007/978-3-319-66167-4_1","timestamp":"Sun, 25 Oct 2020 22:43:11 +0100","biburl":"https://dblp.org/rec/conf/frocos/BiendarraBBDFHK17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/frocos/BiendarraBBDFHK17,\n author = {Julian Biendarra and\n Jasmin Christian Blanchette and\n Aymeric Bouzy and\n Martin Desharnais and\n Mathias Fleury and\n Johannes H{\\\"{o}}lzl and\n Ondrej Kuncar and\n Andreas Lochbihler and\n Fabian Meier and\n Lorenz Panny and\n Andrei Popescu and\n Christian Sternagel and\n Ren{\\'{e}} Thiemann and\n Dmitriy Traytel},\n editor = {Clare Dixon and\n Marcelo Finger},\n title = {Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic},\n booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS\n 2017, Bras{\\'{\\i}}lia, Brazil, September 27-29, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10483},\n pages = {3--21},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-66167-4\\_1},\n doi = {10.1007/978-3-319-66167-4\\_1},\n timestamp = {Sun, 25 Oct 2020 22:43:11 +0100},\n biburl = {https://dblp.org/rec/conf/frocos/BiendarraBBDFHK17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Biendarra, J.","Blanchette, J. C.","Bouzy, A.","Desharnais, M.","Fleury, M.","Hölzl, J.","Kuncar, O.","Lochbihler, A.","Meier, F.","Panny, L.","Popescu, A.","Sternagel, C.","Thiemann, R.","Traytel, D."],"editor_short":["Dixon, C.","Finger, M."],"key":"DBLP:conf/frocos/BiendarraBBDFHK17","id":"DBLP:conf/frocos/BiendarraBBDFHK17","bibbaseid":"biendarra-blanchette-bouzy-desharnais-fleury-hlzl-kuncar-lochbihler-etal-foundationalcodatatypesandcorecursionforhigherorderlogic-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-66167-4_1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["foundational","datatypes","recursion","higher","order","logic","biendarra","blanchette","bouzy","desharnais","fleury","hölzl","kuncar","lochbihler","meier","panny","popescu","sternagel","thiemann","traytel"],"title":"Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic","year":2017}