Standard
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. / Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy.
ESOP 2017. red. / Hongseok Yang. Bind 10201 Springer Berlin/Heidelberg, 2017. s. 111-140 (LNCS).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Blanchette, JC, Bouzy, A, Lochbihler, A, Popescu, A
& Traytel, D 2017,
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. i H Yang (red.),
ESOP 2017. bind 10201, Springer Berlin/Heidelberg, LNCS, s. 111-140.
https://doi.org/10.1007/978-3-662-54434-1_5APA
Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A.
, & Traytel, D. (2017).
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. I H. Yang (red.),
ESOP 2017 (Bind 10201, s. 111-140). Springer Berlin/Heidelberg. LNCS
https://doi.org/10.1007/978-3-662-54434-1_5Vancouver
Blanchette JC, Bouzy A, Lochbihler A, Popescu A
, Traytel D.
Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. I Yang H, red., ESOP 2017. Bind 10201. Springer Berlin/Heidelberg. 2017. s. 111-140. (LNCS).
https://doi.org/10.1007/978-3-662-54434-1_5Author
Blanchette, Jasmin Christian ; Bouzy, Aymeric ; Lochbihler, Andreas ; Popescu, Andrei ; Traytel, Dmitriy. / Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants. ESOP 2017. red. / Hongseok Yang. Bind 10201 Springer Berlin/Heidelberg, 2017. s. 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 -
