Standard
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. / Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy.
FroCoS 2017. ed. / Clare Dixon; Marcelo Finger. Vol. 10483 Springer, Cham, 2017. p. 3-21 (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Biendarra, J, Blanchette, JC, Bouzy, A, Desharnais, M, Fleury, M, Hölzl, J, Kunčar, O, Lochbihler, A, Meier, F, Panny, L, Popescu, A, Sternagel, C, Thiemann, R
& Traytel, D 2017,
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. in C Dixon & M Finger (eds),
FroCoS 2017. vol. 10483, Springer, Cham, LNCS, pp. 3-21.
https://doi.org/10.1007/978-3-319-66167-4_1APA
Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., Kunčar, O., Lochbihler, A., Meier, F., Panny, L., Popescu, A., Sternagel, C., Thiemann, R.
, & Traytel, D. (2017).
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. In C. Dixon, & M. Finger (Eds.),
FroCoS 2017 (Vol. 10483, pp. 3-21). Springer, Cham. LNCS
https://doi.org/10.1007/978-3-319-66167-4_1Vancouver
Biendarra J, Blanchette JC, Bouzy A, Desharnais M, Fleury M, Hölzl J et al.
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. In Dixon C, Finger M, editors, FroCoS 2017. Vol. 10483. Springer, Cham. 2017. p. 3-21. (LNCS).
https://doi.org/10.1007/978-3-319-66167-4_1Author
Biendarra, Julian ; Blanchette, Jasmin Christian ; Bouzy, Aymeric ; Desharnais, Martin ; Fleury, Mathias ; Hölzl, Johannes ; Kunčar, Ondřej ; Lochbihler, Andreas ; Meier, Fabian ; Panny, Lorenz ; Popescu, Andrei ; Sternagel, Christian ; Thiemann, René ; Traytel, Dmitriy. / Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS 2017. editor / Clare Dixon ; Marcelo Finger. Vol. 10483 Springer, Cham, 2017. pp. 3-21 (LNCS).
Bibtex
@inproceedings{87048d644c754962bd74720a9bd4f29b,
title = "Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic",
author = "Julian Biendarra and Blanchette, {Jasmin Christian} and Aymeric Bouzy and Martin Desharnais and Mathias Fleury and Johannes H{\"o}lzl and Ond{\v r}ej Kun{\v c}ar and Andreas Lochbihler and Fabian Meier and Lorenz Panny and Andrei Popescu and Christian Sternagel and Ren{\'e} Thiemann and Dmitriy Traytel",
year = "2017",
doi = "10.1007/978-3-319-66167-4_1",
language = "English",
volume = "10483",
series = "LNCS",
pages = "3--21",
editor = "Clare Dixon and Marcelo Finger",
booktitle = "FroCoS 2017",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
AU - Biendarra, Julian
AU - Blanchette, Jasmin Christian
AU - Bouzy, Aymeric
AU - Desharnais, Martin
AU - Fleury, Mathias
AU - Hölzl, Johannes
AU - Kunčar, Ondřej
AU - Lochbihler, Andreas
AU - Meier, Fabian
AU - Panny, Lorenz
AU - Popescu, Andrei
AU - Sternagel, Christian
AU - Thiemann, René
AU - Traytel, Dmitriy
PY - 2017
Y1 - 2017
U2 - 10.1007/978-3-319-66167-4_1
DO - 10.1007/978-3-319-66167-4_1
M3 - Article in proceedings
VL - 10483
T3 - LNCS
SP - 3
EP - 21
BT - FroCoS 2017
A2 - Dixon, Clare
A2 - Finger, Marcelo
PB - Springer, Cham
ER -
