Strong Normalization in Type Systems: A Model Theoretic Approach

Jan Terlouw. Strong Normalization in Type Systems: A Model Theoretic Approach. Annals of Pure and Applied Logic, 73(1):53-78, 1995.

Bibliographies