Fabio Alessi

26 papers A* 1B 4C 1Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2019 — conf
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning.
LFMTP@LICS
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
2019 J jnl
LF+ in Coq for "fast and loose" reasoning.
J. Formaliz. Reason.
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2016 J jnl
Tiered Objects.
Fundam. Informaticae
Fabio Alessi, Felice Cardone
2008 J jnl
An irregularfilter model.
Theor. Comput. Sci.
Fabio Alessi
2008 B conf
Recursive Domain Equations of Filter Models.
SOFSEM
Fabio Alessi, Paula Severi
2006 J jnl
Intersection types and lambda models.
Theor. Comput. Sci.
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2004 J jnl
Intersection types and domain operators.
Theor. Comput. Sci.
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin
2004 — conf
Type Preorders and Recursive Terms.
ITRS
Fabio Alessi, Mariangiola Dezani-Ciancaglini
2003 J jnl
A category of compositional domain-models for separable Stone spaces.
Theor. Comput. Sci.
Fabio Alessi, Paolo Baldan, Furio Honsell
2003 J jnl
A complete characterization of complete intersection-type preorders.
ACM Trans. Comput. Log.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2003 C conf
Intersection Types and Computational Rules.
WoLLIC
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2003 — conf
Tailoring Filter Models.
TYPES
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2002 — conf
Simple Easy Terms.
ITRS
Fabio Alessi, Stefania Lusin
2001 — conf
Filter Models and Easy Terms.
ICTCS
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
2000 J jnl
A Complete Characterization of Complete Intersection-Type Theories
CoRR
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2000 — conf
A Complete Characterization of the Complete Intersection-Type Theories.
ICALP Satellite Workshops
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
1998 J jnl
A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space.
Theor. Comput. Sci.
Fabio Alessi, Paolo Baldan
1997 J jnl
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.
Fundam. Informaticae
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1997 — conf
Partializing Stone Spaces using SFP Domains (Extended Abstract).
TAPSOFT
Fabio Alessi, Paolo Baldan, Furio Honsell
1995 J jnl
A Fixed-Point Theorem in a Category of Compact Metric Spaces.
Theor. Comput. Sci.
Fabio Alessi, Paolo Baldan, Gianna Bellè
1995 B conf
Solutions of functorial and non-functorial metric domain equations.
MFPS
Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten
1994 B conf
May and Must Convergencey in Concurrent Lambda-Calculus.
MFCS
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1994 J jnl
Toward A Semantics for the Quest Language.
RAIRO Theor. Informatics Appl.
Fabio Alessi, Franco Barbanera
1994 — conf
Type Preorders.
CAAP
Fabio Alessi
1991 B conf
Strong Conjunction and Intersection Types.
MFCS
Fabio Alessi, Franco Barbanera
1991 A* conf
Towards a Semantics for the QUEST Language
LICS
Fabio Alessi, Franco Barbanera