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

by M H Srensen
Venue:Information and Computation