"Foundational extensible corecursion: a proof assistant perspective."

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics