Alain Frisch, Giuseppe Castagna, Véronique Benzaken. Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM, 55(4), 2008. [doi]
@article{FrischCB08,
title = {Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types},
author = {Alain Frisch and Giuseppe Castagna and Véronique Benzaken},
year = {2008},
doi = {10.1145/1391289.1391293},
url = {http://doi.acm.org/10.1145/1391289.1391293},
tags = {subtyping},
researchr = {https://researchr.org/publication/FrischCB08},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {55},
number = {4},
}