%0 Conference Paper %1 conf/frocos/BiendarraBBDFHK17 %A Biendarra, Julian %A Blanchette, Jasmin Christian %A Bouzy, Aymeric %A Desharnais, Martin %A Fleury, Mathias %A Hölzl, Johannes %A Kuncar, Ondrej %A Lochbihler, Andreas %A Meier, Fabian %A Panny, Lorenz %A Popescu, Andrei %A Sternagel, Christian %A Thiemann, René %A Traytel, Dmitriy %B FroCoS %D 2017 %E Dixon, Clare %E Finger, Marcelo %I Springer %K %P 3-21 %T Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2017.html#BiendarraBBDFHK17 %V 10483 %@ 978-3-319-66167-4

@inproceedings{conf/frocos/BiendarraBBDFHK17, added-at = {2023-12-13T09:54:34.000+0100}, author = {Biendarra, Julian and Blanchette, Jasmin Christian and Bouzy, Aymeric and Desharnais, Martin and Fleury, Mathias and Hölzl, Johannes and Kuncar, Ondrej and Lochbihler, Andreas and Meier, Fabian and Panny, Lorenz and Popescu, Andrei and Sternagel, Christian and Thiemann, René and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/2c042b9d2f25c388357a2e35bf5d537cc/admin}, booktitle = {FroCoS}, crossref = {conf/frocos/2017}, editor = {Dixon, Clare and Finger, Marcelo}, ee = {https://doi.org/10.1007/978-3-319-66167-4_1}, interhash = {d2ca3c29c9f925549086450fbe3a729d}, intrahash = {c042b9d2f25c388357a2e35bf5d537cc}, isbn = {978-3-319-66167-4}, keywords = {}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:54:34.000+0100}, title = {Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2017.html#BiendarraBBDFHK17}, volume = 10483, year = 2017 }