Fabio Alessi

According to our database, Fabio Alessi authored at least 25 papers between 1991 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

LF+ in Coq for "fast and loose" reasoning.

Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

J. Formaliz. Reason., 2019

A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning.

Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019

2016

Tiered Objects.

Fabio Alessi, Felice Cardone

Fundam. Informaticae, 2016

2008

An irregularfilter model.

Fabio Alessi

Theor. Comput. Sci., 2008

Recursive Domain Equations of Filter Models.

Fabio Alessi, Paula Severi

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

2006

Intersection types and lambda models.

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Theor. Comput. Sci., 2006

2004

Intersection types and domain operators.

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin

Theor. Comput. Sci., 2004

Type Preorders and Recursive Terms.

Fabio Alessi, Mariangiola Dezani-Ciancaglini

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

2003

A complete characterization of complete intersection-type preorders.

Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi

ACM Trans. Comput. Log., 2003

A category of compositional domain-models for separable Stone spaces.

Fabio Alessi, Paolo Baldan, Furio Honsell

Theor. Comput. Sci., 2003

Intersection Types and Computational Rules.

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

Tailoring Filter Models.

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002

Simple Easy Terms.

Fabio Alessi, Stefania Lusin

Proceedings of the Intersection Types and Related Systems, 2002

2001

Filter Models and Easy Terms.

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

2000

A Complete Characterization of the Complete Intersection-Type Theories.

Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi

Proceedings of the ICALP Workshops 2000, 2000

1998

A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space.

Fabio Alessi, Paolo Baldan

Theor. Comput. Sci., 1998

1997

A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Fundam. Informaticae, 1997

Partializing Stone Spaces using SFP Domains (Extended Abstract).

Fabio Alessi, Paolo Baldan, Furio Honsell

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1995

A Fixed-Point Theorem in a Category of Compact Metric Spaces.

Fabio Alessi, Paolo Baldan, Gianna Bellè

Theor. Comput. Sci., 1995

Solutions of functorial and non-functorial metric domain equations.

Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1994

Toward A Semantics for the Quest Language.

Fabio Alessi, Franco Barbanera

RAIRO Theor. Informatics Appl., 1994

May and Must Convergencey in Concurrent Lambda-Calculus.

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Type Preorders.

Fabio Alessi

Proceedings of the Trees in Algebra and Programming, 1994

1991

Strong Conjunction and Intersection Types.

Fabio Alessi, Franco Barbanera

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Towards a Semantics for the QUEST Language

Fabio Alessi, Franco Barbanera

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991