From *oe to *AE--a journey through calculi of explicit substitutions (1994)

by P Lescanne
Venue:In POPL '94--21st Annual ACM Symposium on Principles of Programming Languages