Mitchell Wand, Patrick O Keefe, Jens Palsberg. Strong Normalization with Non-Structural Subtyping. Mathematical Structures in Computer Science, 5(3):419-429, 1995.
@article{WandOP95,
title = {Strong Normalization with Non-Structural Subtyping},
author = {Mitchell Wand and Patrick O Keefe and Jens Palsberg},
year = {1995},
tags = {subtyping},
researchr = {https://researchr.org/publication/WandOP95},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {5},
number = {3},
pages = {419-429},
}