Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Link (beliebiger Volltext)
Blanchette, J. C., Popescu, A., & Traytel, D. (2015). Foundational Extensible Corecursion: A Proof Assistant Perspective. In Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (pp. 192-204). New York, NY: ACM. doi:10.1145/2784731.2784732.
