Adriana B. Compagnoni, Healfdene Goguen. Theory and applications of subtyping: Introduction. Mathematical Structures in Computer Science, 18(5):795-796, 2008. [doi]
@article{CompagnoniG08,
title = {Theory and applications of subtyping: Introduction},
author = {Adriana B. Compagnoni and Healfdene Goguen},
year = {2008},
doi = {10.1017/S0960129508006841},
url = {http://dx.doi.org/10.1017/S0960129508006841},
tags = {subtyping},
researchr = {https://researchr.org/publication/CompagnoniG08},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {18},
number = {5},
pages = {795-796},
}