From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions.

Pierre Lescanne From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions. 60-69 1994 POPL db/conf/popl/popl94.html#Lescanne94