Steven Schäfer, Gert Smolka, Tobias Tebbi. Completeness and Decidability of de Bruijn Substitution Algebra in Coq. In Xavier Leroy, Alwen Tiu, editors, Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. pages 67-73, ACM, 2015. [doi]
Abstract is missing.