DMCA

Foundational Extensible Corecursion (2014)

by Jasmin Christian Blanchette , Andrei Popescu , Dmitriy Traytel
Citations:1 - 1 self