New notions of reduction and nonsemantic proofs of r'-strong normalization in typed y"-calculi (1995)

by A J Kfoury, J B Wells
Venue:In Proc. 10th Ann. IEEE Symp. Logic in Computer Sci