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

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