Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.

Alain Frisch Giuseppe Castagna Véronique Benzaken Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. 2008 55 J. ACM 4 http://doi.acm.org/10.1145/1391289.1391293 db/journals/jacm/jacm55.html#FrischCB08