On Isomorphisms of Intersection Types (2009)
Mariangiola Dezani-ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
Abstract. The study of type isomorphisms for different λ-calculi started over twenty years ago, and a very wide body of knowledge has been established, both in terms of results and in terms of...
Intersection Types,-models, and Bohm Trees (2008)
Mariangiola Dezani-ciancaglini, Elio Giovannetti
This paper is an introduction to intersection type disciplines, with the aim of illustrating their theoretical relevance in the foundations of-calculus. We start by describing the well-known results...
From B"ohm's Theorem to Observational Equivalences: an Informal Account 1 (2008)
Mariangiola Dezani-ciancaglini, Elio Giovannetti
Abstract There are essentially two ways of looking at the computational behaviours of *- terms. One consists in putting the term within a context (possibly of *-calculus extensions) and observing...
The M³ Paradigm - Types and Type Inference for Ambient and Process Mobility (2008)
Mario Coppo, Mariangiola Dezani-ciancaglini, Elio Giovannetti
A new kind of ambient calculi is presented, where the open capability is replaced by direct mobility of naked processes, while the associated type systems are algorithmic in the sense that they...
Intersection Types,-models, and Bohm Trees (2007)
Mariangiola Dezani-ciancaglini, Elio Giovannetti
This paper is an introduction to intersection type disciplines, with the aim of illustrating their theoretical relevance in the foundations of-calculus. We start by describing the well-known results...
CATS 2004 Preliminary Version Type Inference for Mobile Ambients in Prolog Abstract (2007)
The type system for the ambient calculus M 3 [8] is presented in a new form that derives the type of a term with the minimal set of mobility assumptions, and is therefore more amenable than the...
Mariangiola Dezani-ciancaglini, Elio Giovannetti
A new kind of ambient calculus is presented, where the open capability is replaced by direct mobility of generic processes. The calculus comes equipped with a labelled transition system in which...
A Mobility Calculus with Local and Dependent Types (2005)
Federico Cozzi, Mariangiola Dezani-ciancaglini, Elio Giovannetti, Rosario Pugliese
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits co-moves and runtime...
A Mobility Calculus with Local and Dependent Types (2005)
Federico Cozzi, Mariangiola Dezani-ciancaglini, Elio Giovannetti, Rosario Pugliese
Abstract. We introduce an ambient calculus that combines ambient mobility with process mobility, uses group names to group ambients with homologous features, and exploits co-moves and runtime type...
Dynamic and Local Typing for Mobile Ambients (2004)
Mario Coppo, Mariangiola Dezani-ciancaglini, Elio Giovannetti, Rosario Pugliese
An ambient calculus with both static and dynamic types is presented, where the latter ones represent mobility and access rights that may be dynamically consumed and acquired in a controlled way....
Intersection Types, λ-models, and Böhm Trees (1998)
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo De'Liguoro
This paper is an introduction to intersection type disciplines, with the aim of illustrating their theoretical relevance in the foundations of λ-calculus. We start by describing the well-known...