Strong Normalization from Weak Normalization by Translation into the lambda-I-calculus



TypeJournal paper [With referee]
JournalHigher-Order and Symbolic Computation
Year2003    Month September    Vol. 16    No. 3    pp. 253-285
PublisherKluwer Academic Publishers
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering