Addendum to "New notions of reduction and non-semantic proofs of fi-strong normalization in typed -calculi (1995)

by A J Kfoury, J B Wells