From λσ to λυ a journey through calculi of explicit substitutions (1994)

by P Lescanne
Venue:in: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL’94