TY  - RPRT
TI  - Foundational Extensible Corecursion
AU  - Jasmin Christian Blanchette
AU  - Andrei Popescu
AU  - Dmitriy Traytel
PY  - 2015
UR  - https://arxiv.org/abs/1501.05425
ID  - 1501.05425
ER  -