| 2005 |
|---|
| 9 | EE | Lorenzo Bettini,
Viviana Bono,
Silvia Likavec:
Safe Object Composition in the Presence of Subtyping.
ICTCS 2005: 128-142 |
| 8 | EE | Daniel J. Dougherty,
Silvia Ghilezan,
Pierre Lescanne,
Silvia Likavec:
Strong Normalization of the Dual Classical Sequent Calculus.
LPAR 2005: 169-183 |
| 7 | EE | Lorenzo Bettini,
Viviana Bono,
Silvia Likavec:
Safe and flexible objects.
SAC 2005: 1258-1263 |
| 6 | EE | Lorenzo Bettini,
Viviana Bono,
Silvia Likavec:
Safe and Flexible Objects with Subtyping.
Journal of Object Technology 4(10): 5-29 (2005) |
| 2004 |
|---|
| 5 | EE | Lorenzo Bettini,
Viviana Bono,
Silvia Likavec:
A core calculus of mixins and incomplete objects.
OOPSLA Companion 2004: 208-209 |
| 4 | EE | Lorenzo Bettini,
Viviana Bono,
Silvia Likavec:
A core calculus of higher-order mixins and classes.
SAC 2004: 1508-1509 |
| 3 | EE | Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan,
Silvia Likavec:
Behavioural inverse limit lambda-models.
Theor. Comput. Sci. 316(1): 49-74 (2004) |
| 2003 |
|---|
| 2 | EE | Lorenzo Bettini,
Viviana Bono,
Silvia Likavec:
A Core Calculus of Higher-Order Mixins and Classes.
TYPES 2003: 83-98 |
| 2002 |
|---|
| 1 | EE | Silvia Ghilezan,
Silvia Likavec:
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
