Elio Giovannetti

25 papers B 2Misc 2Journal 5Unranked 16

Year	Rank	Type	Title / 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