Standard
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. / Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy.
ESOP 2017. ed. / Hongseok Yang. Vol. 10201 Springer Berlin/Heidelberg, 2017. p. 111-140 (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Blanchette, JC, Bouzy, A, Lochbihler, A, Popescu, A
& Traytel, D 2017,
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. in H Yang (ed.),
ESOP 2017. vol. 10201, Springer Berlin/Heidelberg, LNCS, pp. 111-140.
https://doi.org/10.1007/978-3-662-54434-1_5
APA
Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A.
, & Traytel, D. (2017).
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. In H. Yang (Ed.),
ESOP 2017 (Vol. 10201, pp. 111-140). Springer Berlin/Heidelberg. LNCS
https://doi.org/10.1007/978-3-662-54434-1_5
Vancouver
Blanchette JC, Bouzy A, Lochbihler A, Popescu A
, Traytel D.
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. In Yang H, editor, ESOP 2017. Vol. 10201. Springer Berlin/Heidelberg. 2017. p. 111-140. (LNCS).
https://doi.org/10.1007/978-3-662-54434-1_5
Author
Blanchette, Jasmin Christian ; Bouzy, Aymeric ; Lochbihler, Andreas ; Popescu, Andrei ; Traytel, Dmitriy. / Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. ESOP 2017. editor / Hongseok Yang. Vol. 10201 Springer Berlin/Heidelberg, 2017. pp. 111-140 (LNCS).
Bibtex
@inproceedings{4bb3081d0b824bb0925e275c7da0c7c0,
title = "Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants",
author = "Blanchette, {Jasmin Christian} and Aymeric Bouzy and Andreas Lochbihler and Andrei Popescu and Dmitriy Traytel",
year = "2017",
doi = "10.1007/978-3-662-54434-1_5",
language = "English",
volume = "10201",
series = "LNCS",
pages = "111--140",
editor = "Hongseok Yang",
booktitle = "ESOP 2017",
publisher = "Springer Berlin/Heidelberg",
}
RIS
TY - GEN
T1 - Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants
AU - Blanchette, Jasmin Christian
AU - Bouzy, Aymeric
AU - Lochbihler, Andreas
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2017
Y1 - 2017
U2 - 10.1007/978-3-662-54434-1_5
DO - 10.1007/978-3-662-54434-1_5
M3 - Article in proceedings
VL - 10201
T3 - LNCS
SP - 111
EP - 140
BT - ESOP 2017
A2 - Yang, Hongseok
PB - Springer Berlin/Heidelberg
ER -