"Comparing and implementing calculi of explicit substitutions with ..."

Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics