On Strong Normalization of Explicit Substitution Calculi (Short Note).

Frédéric Lang Pierre Lescanne On Strong Normalization of Explicit Substitution Calculi (Short Note). 2000 2000 Journal of Functional and Logic Programming 7 db/journals/jflp/jflp2000.html#LangL00