"Foundational extensible corecursion: a proof assistant perspective."

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