Pierre-Louis Curien, Giorgio Ghelli. Coherence of Subsumption, Minimum Typing and Type-Checking in F::<=::. Mathematical Structures in Computer Science, 2(1):55-91, 1992.
@article{CurienG92,
title = {Coherence of Subsumption, Minimum Typing and Type-Checking in F::<=::},
author = {Pierre-Louis Curien and Giorgio Ghelli},
year = {1992},
tags = {type checking},
researchr = {https://researchr.org/publication/CurienG92},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {2},
number = {1},
pages = {55-91},
}