Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu 0001, Dmitriy Traytel
Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants
ESOP, 2017.
@inproceedings{ESOP-2017-BlanchetteBL0T,
author = "Jasmin Christian Blanchette and Aymeric Bouzy and Andreas Lochbihler and Andrei Popescu 0001 and Dmitriy Traytel",
booktitle = "{Proceedings of the 24th European Symposium on Programming}",
doi = "10.1007/978-3-662-54434-1_5",
isbn = "['978-3-662-54433-4', '978-3-662-54434-1']",
pages = "111--140",
publisher = "{Springer}",
title = "{Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants}",
year = 2017,
}