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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.