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

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