Compositional Characterizations of lambda-Terms Using Intersection Types. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Yoko Motohama (MFCS, 2000)

Approximation Theorems for Intersection Type Systems. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Yoko Motohama (J. Log. Comput., 2001)

The Relevance of Semantic Subtyping. - Mariangiola Dezani-Ciancaglini; Alain Frisch; Elio Giovannetti; Yoko Motohama (ITRS, 2002)

The Semantics of Entailment Omega. - Mariangiola Dezani-Ciancaglini; Robert K. Meyer; Yoko Motohama (Notre Dame J. Formal Log., 2002)

Compositional characterisations of lambda-terms using intersection types. - Mariangiola Dezani-Ciancaglini; Furio Honsell; Yoko Motohama (Theor. Comput. Sci., 2005)