Gang Chen. Coercive subtyping for the calculus of constructions. In POPL. pages 150-159, 2003. [doi]
@inproceedings{Chen03:30, title = {Coercive subtyping for the calculus of constructions}, author = {Gang Chen}, year = {2003}, doi = {10.1145/640128.604145}, url = {http://doi.acm.org/10.1145/640128.604145}, tags = {subtyping}, researchr = {https://researchr.org/publication/Chen03%3A30}, cites = {0}, citedby = {0}, pages = {150-159}, booktitle = {POPL}, }