Zhaohui Luo. Coercive Subtyping. Journal of Logic and Computation, 9(1):105-130, 1999. [doi]
@article{Luo99:2, title = {Coercive Subtyping}, author = {Zhaohui Luo}, year = {1999}, url = {http://www.oup.co.uk/logcom/hdb/Volume_09/Issue_01/090105.sgm.abs.html}, tags = {subtyping}, researchr = {https://researchr.org/publication/Luo99%3A2}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {9}, number = {1}, pages = {105-130}, }