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

by Mauricio Ayala-Rincon, Flavio L. C. de Moura, Fairouz Kamareddine
Venue:Annals of Pure and Applied Logic