Completeness Results for a Polymorphic Type System. - Mario Coppo; Elio Giovannetti (CAAP, 1983)

A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. - Pier Giorgio Bosco; G. Giandonato; Elio Giovannetti (ICLP, 1984)

A Prolog-Compiled Higher-Order Functional and Logic Language. - Pier Giorgio Bosco; Elio Giovannetti (AIMSA, 1986)

Some Aspects of the Integration between Logic Programming and Fiunctional Programming. - Elio Giovannetti; Corrado Moiso (AIMSA, 1986)

A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. - Elio Giovannetti; Corrado Moiso (Foundations of Logic and Functional Programming, 1986)

IDEAL: An Ideal Deductive Applicative Language. - Pier Giorgio Bosco; Elio Giovannetti (SLP, 1986)

Notes on the Elimination of Conditions. - Elio Giovannetti; Corrado Moiso (CTRS, 1987)

A Two-Level Approach to Logic plus Functional Programming Integration. - Marco Bellia; Pier Giorgio Bosco; Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi (PARLE (1), 1987)

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. - Giorgio Levi; Catuscia Palamidessi; Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (SLP, 1987)

Refined Strategies for Semantic Unification. - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (TAPSOFT, Vol.2, 1987)

Narrowing and Resolution in Logic-Functional programming Languages (Abstract). - Elio Giovannetti (ALP, 1988)

Narrowing vs. SLD-Resolution. - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso (Theor. Comput. Sci., 1988)

Kernel-LEAF: A Logic plus Functional Language. - Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi (J. Comput. Syst. Sci., 1991)

Comments on "Logic-Programming with Equations". - Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso; Catuscia Palamidessi (J. Log. Program., 1991)

An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. - Pier Giorgio Bosco; Laura Ferrari; Elio Giovannetti; Corrado Moiso (IFIP Congress (1), 1992)

From Bohm's Theorem to Observational Equivalences: an Informal Account. - Mariangiola Dezani-Ciancaglini; Elio Giovannetti (BOTH, 2001)

The Relevance of Semantic Subtyping. - Mariangiola Dezani-Ciancaglini; Alain Frisch; Elio Giovannetti; Yoko Motohama (ITRS, 2002)

Ambient Calculi with Types: A Tutorial. - Elio Giovannetti (Global Computing, 2003)

Mobility Types for Mobile Processes in Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Ivano Salvo (CATS, 2003)

Dynamic and Local Typing for Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Rosario Pugliese (IFIP TCS, 2004)

Type Inference for Mobile Ambients in Prolog. - Elio Giovannetti (CATS, 2004)

A Mobility Calculus with Local and Dependent Types. - Mario Coppo; Federico Cozzi; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Rosario Pugliese (Processes, Terms and Cycles, 2005)

Types for ambient and process mobility. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti (Math. Struct. Comput. Sci., 2008)

On isomorphisms of intersection types. - Mariangiola Dezani-Ciancaglini; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta (ACM Trans. Comput. Log., 2010)