Delayability in proofs of strong normalizability in the typed -calculus (1985)

by M Karr
Venue:In Mathematical Foundations of Computer Software, LNCS