Strong normalisation of substitutions (1996)

by P-L Curien, T Hardin, A Ros
Venue:Logic and Computation