Strong Normalization from Weak Normalization in Typed Lambda Calculi", Report from (1996)

by S rensen, M H