New notions of reduction and nonsemantic proofs of fi-strong normalization in typed -calculi (1995)

by A J Kfoury, J B Wells
Venue:In Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science