Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).

Roberto Di Cosmo, Delia Kesner

Browse the full LICS paper archive.