IOS Press AConvex Powerdomain over Lattices: its Logic and-Calculus (2008)
Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro
Abstract. To model at the same time parallel and nondeterministic functional calculi we de ne a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is...
Inverse Limit Models as Filter Models (2008)
Fabio Alessi, Mariangiola Dezani-ciancaglini, Furio Honsell
Natural intersection type preorders are the type structures which agree with the plain intuition of intersection type constructor as set-theoretic intersection operation and arrow type constructor as...
Fabio Alessi, Fabio Alessi, Paolo Baldan, Paolo Baldan, Furio Honsell, Furio Honsell
In this paper we introduce SFP
of the domain equation D = P([D! D]?). We derive from the algebras of P the logic (2007)
Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D
Abstract. To model at the same time parallel and non-deterministic functional calculi we define a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is...
The category of 1-bounded compact ultrametric spaces and non-distance increasing functions (KUM's) have been extensively used in the semantics of concurrent programming languages. In this paper...
Intersection Types and Lambda Models (2005)
Fabio Alessi, Franco Barbanera
Invariance of interpretation by #-conversion is one of the minimal requirements for any standard model for the #-calculus. With the intersection type systems being a general framework for the study...
Type Preorders and Recursive Terms (2004)
Fabio Alessi, Mariangiola Dezani-ciancaglini
We show how to use intersection types for building models of a #-calculus enriched with recursive terms, whose intended meaning is of minimal fixed points. As a by-product we prove an interesting...
A category of compositional domain-models for separable (2001)
Stone Spaces, Fabio Alessi, Paolo Baldan, Furio Honsell
In this paper we introduce SFP M, a category of SFP domains which provides very satisfactory domain-models, i.e. “partializations”, of separable Stone spaces (2-Stone spaces). More specifically,...
A Convex Powerdomain over Lattices: its Logic and λ-Calculus (1997)
Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D
To model at the same time parallel and nondeterministic functional calculi we define a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is locally...
A fixed point theorem in a category of compact metric spaces (1995)
Fabio Alessi, Paolo Baldan, Gianna Bellè
Various results appear in the literature for deriving existence and uniqueness of fixed points for endofunctors on categories of complete metric spaces. All these results are proved for contracting...
Partializing Stone Spaces using SFP domains
Fabio Alessi, Paolo Baldan, Furio Honsell
In this paper we investigate the problem of "partializing" Stone spaces by "Sequence of Finite Posets" (SFP) domains. More specifically, we introduce a suitable subcategory SFP m...
A Fixed Point Theorem in a Category of Compact Metric Spaces
Fabio Alessi, Paolo Baldan, Gianna Bellè
Various results appear in the literature for deriving existence and uniqueness of fixed points for endofunctors on categories of complete metric spaces. All these results are proved for contracting...