Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
popl19main-p56-p.pdf (Verlagsversion), 455KB
Blanchette, J. C., Gheri, L., Popescu, A., & Traytel, D. (2019). Bindings as Bounded Natural Functors. Proceedings of the ACM on Programming Languages, 3: 22. doi:10.1145/3290335.