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.

@article{Terlouw95,
  title = {Strong Normalization in Type Systems: A Model Theoretic Approach},
  author = {Jan Terlouw},
  year = {1995},
  tags = {type system, systematic-approach},
  researchr = {https://researchr.org/publication/Terlouw95},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {73},
  number = {1},
  pages = {53-78},
}