| 2009 |
|---|
| 22 | EE | Stefano Berardi,
Ugo de'Liguoro:
Toward the interpretation of non-constructive reasoning as non-monotonic learning.
Inf. Comput. 207(1): 63-81 (2009) |
| 2008 |
|---|
| 21 | EE | Stefano Berardi,
Ugo de'Liguoro:
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract).
CSL 2008: 215-229 |
| 20 | EE | Stefano Berardi,
Ugo de'Liguoro:
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca.
Theor. Comput. Sci. 398(1-3): 1-11 (2008) |
| 19 | EE | Steffen van Bakel,
Ugo de'Liguoro:
Logical Equivalence for Subtyping Object and Recursive Types.
Theory Comput. Syst. 42(3): 306-348 (2008) |
| 2007 |
|---|
| 18 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Nobuko Yoshida:
On Progress for Structured Communications.
TGC 2007: 257-275 |
| 2005 |
|---|
| 17 | EE | Steffen van Bakel,
Ugo de'Liguoro:
Subtyping Object and Recursive Types Logically.
ICTCS 2005: 66-80 |
| 2004 |
|---|
| 16 | EE | Franco Barbanera,
Ugo de'Liguoro:
Type Assignement for Mobile Objects.
Electr. Notes Theor. Comput. Sci. 104: 25-38 (2004) |
| 2003 |
|---|
| 15 | EE | Steffen van Bakel,
Ugo de'Liguoro:
Logical Semantics for the First Order varsigma-Calculus.
ICTCS 2003: 202-215 |
| 2002 |
|---|
| 14 | EE | Ugo de'Liguoro:
Subtyping in Logical Form.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
| 2001 |
|---|
| 13 | EE | Ugo de'Liguoro:
Characterizing Convergent Terms in Object Calculi via Intersection Types.
TLCA 2001: 315-328 |
| 1999 |
|---|
| 12 | EE | Stefano Berardi,
Ugo de'Liguoro:
Total Functionals and Well-Founded Strategies.
TLCA 1999: 54-68 |
| 1998 |
|---|
| 11 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
A Filter Model for Concurrent lambda-Calculus.
SIAM J. Comput. 27(5): 1376-1419 (1998) |
| 1997 |
|---|
| 10 | | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro:
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.
Fundam. Inform. 32(3-4): 193-250 (1997) |
| 1996 |
|---|
| 9 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
Filter Models for Conjunctive-Disjunctive lambda-Calculi.
Theor. Comput. Sci. 170(1-2): 83-128 (1996) |
| 1995 |
|---|
| 8 | | Franco Barbanera,
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro:
Intersection and Union Types: Syntax and Semantics
Inf. Comput. 119(2): 202-230 (1995) |
| 7 | | Ugo de'Liguoro,
Adolfo Piperno:
Non Deterministic Extensions of Untyped Lambda-Calculus.
Inf. Comput. 122(2): 149-177 (1995) |
| 1994 |
|---|
| 6 | | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro:
May and Must Convergencey in Concurrent Lambda-Calculus.
MFCS 1994: 211-220 |
| 5 | | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
Fully Abstract Semantics for Concurrent Lambda-calculus.
TACS 1994: 16-35 |
| 4 | | Felice Cardone,
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro:
Combining Type Disciplines.
Ann. Pure Appl. Logic 66(3): 197-230 (1994) |
| 1993 |
|---|
| 3 | | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
Filter Models for a Parallel and Non Deterministic Lambda-Calculus.
MFCS 1993: 403-412 |
| 1992 |
|---|
| 2 | | Ugo de'Liguoro,
Adolfo Piperno:
Must Preorder in Non-Deterministic Untyped Lambda-Calculus.
CAAP 1992: 203-220 |
| 1 | | Ugo de'Liguoro,
Adolfo Piperno,
Richard Statman:
Retracts in simply typed lambda-beta-eta-calculus
LICS 1992: 461-469 |
