@misc{misc, title = {{Foundational Extensible Corecursion}}, url = {{}}, year = {{2015}}, month = {{1}}, author = {{Blanchette JC and Popescu A and Traytel D}}, doi = {{10.48550/arxiv.1501.05425}}, note = {{Accessed on 2024/12/23}}}