Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1501.05425.pdf (Preprint), 316KB
Blanchette, J. C., Popescu, A., & Traytel, D. (2015). Foundational Extensible Corecursion. Retrieved from http://arxiv.org/abs/1501.05425.