Comparing and Implementing Calculi of Explicit Substitutions with Eta-Reduction (0)

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