Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Blanchette, J. C., Popescu, A., & Traytel, D. (2015). Witnessing (Co)datatypes. In J. Vitek (Ed.), Programming Languages and Systems (pp. 359-382). Berlin: Springer. doi:10.1007/978-3-662-46669-8_15.