Short Proofs of Normalization for the simply-typed λ-calculus, permutative conversions and Gödel's T (1998)

by Felix Joachimski , Ralph Matthes
Venue:TO APPEAR: ARCHIVE FOR MATHEMATICAL LOGIC
Citations:15 - 1 self