Adriana B. Compagnoni

Multiple inheritance via intersection types
Subtyping in F (omega,lambda) is decidable