Semantic Subtyping.

Alain Frisch, Giuseppe Castagna, Vronique Benzaken

Browse the full LICS paper archive.