Strong normalizability in Martin-Lof’s type theory (1991)

by C Lofwall, G Sjodin