@inproceedings{biendarra:hal-01592196, TITLE = {{Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic}}, AUTHOR = {Biendarra, Julian and Blanchette, Jasmin Christian and Bouzy, Aymeric and Desharnais, Martin and Fleury, Mathias and H{\"o}lzl, Johannes and Kun{\v c}ar, Ond{\v r}ej and Lochbihler, Andreas and Meier, Fabian and Panny, Lorenz and Popescu, Andrei and Sternagel, Christian Christian and Thiemann, Ren{\'e} and Traytel, Dmitriy}, URL = {https://inria.hal.science/hal-01592196}, BOOKTITLE = {{Frontiers of Combining Systems, 11th International Symposium}}, ADDRESS = {Brasilia, Brazil}, EDITOR = {Clare Dixon and Marcelo Finger}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {10483}, PAGES = {3-21}, YEAR = {2017}, MONTH = Sep, DOI = {10.1007/978-3-319-66167-4\_1}, PDF = {https://inria.hal.science/hal-01592196/file/BiendarraBlanchetteEtAl-FroCos.pdf}, HAL_ID = {hal-01592196}, HAL_VERSION = {v1}, }