A New Type Assignment for Strongly Normalizable Terms.

Rick Statman

Browse the full CSL paper archive.