2008 |
24 | EE | Mariangiola Dezani-Ciancaglini,
Roberto Di Cosmo,
Elio Giovannetti,
Makoto Tatsuta:
On Isomorphisms of Intersection Types.
CSL 2008: 461-477 |
23 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti:
Types for ambient and process mobility.
Mathematical Structures in Computer Science 18(2): 221-290 (2008) |
2005 |
22 | EE | Mario Coppo,
Federico Cozzi,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types.
Processes, Terms and Cycles 2005: 404-444 |
2004 |
21 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients.
IFIP TCS 2004: 577-590 |
20 | EE | Elio Giovannetti:
Type Inference for Mobile Ambients in Prolog.
Electr. Notes Theor. Comput. Sci. 91: 96-115 (2004) |
2003 |
19 | EE | Elio Giovannetti:
Ambient Calculi with Types: A Tutorial.
Global Computing 2003: 151-191 |
18 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
2002 |
17 | EE | Mariangiola Dezani-Ciancaglini,
Alain Frisch,
Elio Giovannetti,
Yoko Motohama:
The Relevance of Semantic Subtyping.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
2001 |
16 | EE | Mariangiola Dezani-Ciancaglini,
Elio Giovannetti:
From Bohm's Theorem to Observational Equivalences: an Informal Account.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
1992 |
15 | | Pier Giorgio Bosco,
Laura Ferrari,
Elio Giovannetti,
Corrado Moiso:
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
IFIP Congress (1) 1992: 142-148 |
1991 |
14 | | Elio Giovannetti,
Giorgio Levi,
Corrado Moiso,
Catuscia Palamidessi:
Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci. 42(2): 139-185 (1991) |
13 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso,
Catuscia Palamidessi:
Comments on "Logic-Programming with Equations".
J. Log. Program. 11(1&2): 85-89 (1991) |
1988 |
12 | | Elio Giovannetti:
Narrowing and Resolution in Logic-Functional programming Languages (Abstract).
ALP 1988: 30 |
11 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci. 59: 3-23 (1988) |
1987 |
10 | | Elio Giovannetti,
Corrado Moiso:
Notes on the Elimination of Conditions.
CTRS 1987: 91-97 |
9 | | Marco Bellia,
Pier Giorgio Bosco,
Elio Giovannetti,
Giorgio Levi,
Corrado Moiso,
Catuscia Palamidessi:
A Two-Level Approach to Logic plus Functional Programming Integration.
PARLE (1) 1987: 374-393 |
8 | | Giorgio Levi,
Catuscia Palamidessi,
Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
SLP 1987: 318-327 |
7 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
Refined Strategies for Semantic Unification.
TAPSOFT, Vol.2 1987: 276-290 |
1986 |
6 | | Pier Giorgio Bosco,
Elio Giovannetti:
A Prolog-Compiled Higher-Order Functional and Logic Language.
AIMSA 1986: 105-116 |
5 | | Elio Giovannetti,
Corrado Moiso:
Some Aspects of the Integration between Logic Programming and Fiunctional Programming.
AIMSA 1986: 69-79 |
4 | | Elio Giovannetti,
Corrado Moiso:
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.
Foundations of Logic and Functional Programming 1986: 157-167 |
3 | | Pier Giorgio Bosco,
Elio Giovannetti:
IDEAL: An Ideal Deductive Applicative Language.
SLP 1986: 89-94 |
1984 |
2 | | Pier Giorgio Bosco,
G. Giandonato,
Elio Giovannetti:
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.
ICLP 1984: 219-229 |
1983 |
1 | | Mario Coppo,
Elio Giovannetti:
Completeness Results for a Polymorphic Type System.
CAAP 1983: 179-190 |