@inproceedings{BiendarraFroCoS2017,
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 and Thiemann, Ren{\'e} and Traytel, Dmitriy},
LANGUAGE = {eng},
ISBN = {978-3-319-66166-7},
DOI = {10.1007/978-3-319-66167-4_1},
PUBLISHER = {Springer},
YEAR = {2017},
DATE = {2017},
BOOKTITLE = {Frontiers of Combining Systems (FroCoS 2017)},
EDITOR = {Dixon, Clare and Finger, Marcelo},
PAGES = {3--21},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {10483},
ADDRESS = {Bras{\'i}lia, Brazil},
}