DMCA

Foundational Extensible Corecursion -- A Proof Assistant Perspective (2015)

by Jasmin Christian Blanchette , Andrei Popescu , Dmitriy Traytel