Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T Felix JoachimskiRalph Matthes Pages: 59 - 87