| 2005 |
|---|
| 5 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Compositional characterisations of lambda-terms using intersection types.
Theor. Comput. Sci. 340(3): 459-495 (2005) |
| 2002 |
|---|
| 4 | EE | Mariangiola Dezani-Ciancaglini,
Alain Frisch,
Elio Giovannetti,
Yoko Motohama:
The Relevance of Semantic Subtyping.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
| 3 | | Mariangiola Dezani-Ciancaglini,
Robert K. Meyer,
Yoko Motohama:
The Semantics of Entailment Omega.
Notre Dame Journal of Formal Logic 43(3): 129-145 (2002) |
| 2001 |
|---|
| 2 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Approximation Theorems for Intersection Type Systems.
J. Log. Comput. 11(3): 395-417 (2001) |
| 2000 |
|---|
| 1 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Compositional Characterizations of lambda-Terms Using Intersection Types.
MFCS 2000: 304-313 |
