Comparing and implementing calculi of explicit substitutions with eta-reduction (2005)

by M Ayala-Rincón, F L C de Moura, F Kamareddine
Venue:Issue of Annals of Pure and Applied Logic - WoLLIC 2002 selected