Strong normalization from weak normalization in typed -calculi (1997)

by M H S��rensen
Venue:Information and Computation