| 2008 |
|---|
| 23 | EE | Fabio Alessi,
Paula Severi:
Recursive Domain Equations of Filter Models.
SOFSEM 2008: 124-135 |
| 22 | EE | Fabio Alessi:
An irregularfilter model.
Theor. Comput. Sci. 398(1-3): 129-149 (2008) |
| 2006 |
|---|
| 21 | EE | Fabio Alessi,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini:
Intersection types and lambda models.
Theor. Comput. Sci. 355(2): 108-126 (2006) |
| 2005 |
|---|
| 20 | EE | Fabio Alessi,
Mariangiola Dezani-Ciancaglini:
Type Preorders and Recursive Terms.
Electr. Notes Theor. Comput. Sci. 136: 3-21 (2005) |
| 2004 |
|---|
| 19 | EE | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Stefania Lusin:
Intersection types and domain operators.
Theor. Comput. Sci. 316(1): 25-47 (2004) |
| 2003 |
|---|
| 18 | EE | Fabio Alessi,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini:
Tailoring Filter Models.
TYPES 2003: 17-33 |
| 17 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A complete characterization of complete intersection-type preorders.
ACM Trans. Comput. Log. 4(1): 120-147 (2003) |
| 16 | EE | Fabio Alessi,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini:
Intersection Types and Computational Rules.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 15 | | Fabio Alessi,
Paolo Baldan,
Furio Honsell:
A category of compositional domain-models for separable Stone spaces.
Theor. Comput. Sci. 290(1): 599-635 (2003) |
| 2002 |
|---|
| 14 | EE | Fabio Alessi,
Stefania Lusin:
Simple Easy Terms.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
| 2001 |
|---|
| 13 | EE | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Furio Honsell:
Filter Models and Easy Terms.
ICTCS 2001: 17-37 |
| 2000 |
|---|
| 12 | | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A Complete Characterization of the Complete Intersection-Type Theories.
ICALP Satellite Workshops 2000: 287-302 |
| 11 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A Complete Characterization of Complete Intersection-Type Theories
CoRR cs.LO/0011039: (2000) |
| 1998 |
|---|
| 10 | EE | Fabio Alessi,
Paolo Baldan:
A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space.
Theor. Comput. Sci. 193(1-2): 113-127 (1998) |
| 1997 |
|---|
| 9 | | Fabio Alessi,
Paolo Baldan,
Furio Honsell:
Partializing Stone Spaces using SFP Domains (Extended Abstract).
TAPSOFT 1997: 478-489 |
| 8 | | 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) |
| 1995 |
|---|
| 7 | EE | Fabio Alessi,
Paolo Baldan,
Gianna Bellè,
Jan J. M. M. Rutten:
Solutions of functorial and non-functorial metric domain equations.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 6 | EE | Fabio Alessi,
Paolo Baldan,
Gianna Bellè:
A Fixed-Point Theorem in a Category of Compact Metric Spaces.
Theor. Comput. Sci. 146(1&2): 311-320 (1995) |
| 1994 |
|---|
| 5 | | Fabio Alessi:
Type Preorders.
CAAP 1994: 37-51 |
| 4 | | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro:
May and Must Convergencey in Concurrent Lambda-Calculus.
MFCS 1994: 211-220 |
| 3 | | Fabio Alessi,
Franco Barbanera:
Toward A Semantics for the Quest Language.
ITA 28(6): 513-555 (1994) |
| 1991 |
|---|
| 2 | | Fabio Alessi,
Franco Barbanera:
Towards a Semantics for the QUEST Language
LICS 1991: 12-21 |
| 1 | | Fabio Alessi,
Franco Barbanera:
Strong Conjunction and Intersection Types.
MFCS 1991: 64-73 |
