"Comparing Calculi of Explicit Substitutions with Eta-reduction."

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