Addendum to `New notions of reduction and non-semantic proofs of β-strong normalization in typed λ-calculi (1995)

by A. J. Kfoury , J. B. Wells
Citations:18 - 5 self