Elio Giovannetti

25 papers B 2Misc 2Journal 5Unranked 16
YearRankTypeTitle / Venue / Authors
2010 J jnl
On isomorphisms of intersection types.
ACM Trans. Comput. Log.
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
2008 B conf
On Isomorphisms of Intersection Types.
CSL
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
2008 J jnl
Types for ambient and process mobility.
Math. Struct. Comput. Sci.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti
2005 — conf
A Mobility Calculus with Local and Dependent Types.
Processes, Terms and Cycles
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
2004 — conf
Dynamic and Local Typing for Mobile Ambients.
IFIP TCS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
2004 — conf
Type Inference for Mobile Ambients in Prolog.
CATS
Elio Giovannetti
2003 — conf
Ambient Calculi with Types: A Tutorial.
Global Computing
Elio Giovannetti
2003 — conf
Mobility Types for Mobile Processes in Mobile Ambients.
CATS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
2002 — conf
The Relevance of Semantic Subtyping.
ITRS
Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
2001 — conf
From Bohm's Theorem to Observational Equivalences: an Informal Account.
BOTH
Mariangiola Dezani-Ciancaglini, Elio Giovannetti
1992 — conf
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
IFIP Congress (1)
Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso
1991 J jnl
Comments on "Logic-Programming with Equations".
J. Log. Program.
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi
1991 J jnl
Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci.
Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1988 — conf
Narrowing and Resolution in Logic-Functional programming Languages (Abstract).
ALP
Elio Giovannetti
1988 J jnl
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci.
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987 — conf
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
SLP
Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987 — conf
A Two-Level Approach to Logic plus Functional Programming Integration.
PARLE (1)
Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1987 — conf
Notes on the Elimination of Conditions.
CTRS
Elio Giovannetti, Corrado Moiso
1987 — conf
Refined Strategies for Semantic Unification.
TAPSOFT, Vol.2
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1986 — conf
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.
Foundations of Logic and Functional Programming
Elio Giovannetti, Corrado Moiso
1986 Misc conf
A Prolog-Compiled Higher-Order Functional and Logic Language.
AIMSA
Pier Giorgio Bosco, Elio Giovannetti
1986 — conf
IDEAL: An Ideal Deductive Applicative Language.
SLP
Pier Giorgio Bosco, Elio Giovannetti
1986 Misc conf
Some Aspects of the Integration between Logic Programming and Fiunctional Programming.
AIMSA
Elio Giovannetti, Corrado Moiso
1984 B conf
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.
ICLP
Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti
1983 — conf
Completeness Results for a Polymorphic Type System.
CAAP
Mario Coppo, Elio Giovannetti