Ugo de Liguoro. Subtyping in Logical Form. Electronic Notes in Theoretical Computer Science, 70(1):72-87, 2002. [doi]
@article{deLiguor02, title = {Subtyping in Logical Form}, author = {Ugo de Liguoro}, year = {2002}, url = {http://www1.elsevier.com/gej-ng/31/29/23/125/51/show/Products/notes/index.htt#006}, tags = {subtyping}, researchr = {https://researchr.org/publication/deLiguor02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {1}, pages = {72-87}, }