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

by P Lescanne
Venue:In Conference Record of POPL ’94