"Strong Normalization in Type Systems: A Model Theoretic Approach."

Jan Terlouw (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics