Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants.

Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel

Browse the full ESOP paper archive.