Strong Normalization of Substitutions.

Pierre-Louis Curien, Thrse Hardin, Alejandro Ros

Browse the full MFCS paper archive.