"Formalizing a Named Explicit Substitutions Calculus in Coq."

Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics