Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types (0)

by A Frisch, G Castagna, V Benzaken
Venue:In PPDP’06