Elio Giovannetti

According to our database1, Elio Giovannetti authored at least 24 papers between 1983 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
On isomorphisms of intersection types.
ACM Trans. Comput. Log., 2010

2008
Types for ambient and process mobility.
Math. Struct. Comput. Sci., 2008

2005
A Mobility Calculus with Local and Dependent Types.
Proceedings of the Processes, 2005

2004
Type Inference for Mobile Ambients in Prolog.
Proceedings of Computing: The Australasian Theory Symposium, 2004

Dynamic and Local Typing for Mobile Ambients.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
Mobility Types for Mobile Processes in Mobile Ambients.
Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Ambient Calculi with Types: A Tutorial.
Proceedings of the Global Computing. Programming Environments, 2003

2002
The Relevance of Semantic Subtyping.
Proceedings of the Intersection Types and Related Systems, 2002

2001
From Bohm's Theorem to Observational Equivalences: an Informal Account.
Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

1992
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
Proceedings of the Algorithms, Software, Architecture, 1992

1991
Comments on "Logic-Programming with Equations".
J. Log. Program., 1991

Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci., 1991

1988
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci., 1988

Narrowing and Resolution in Logic-Functional programming Languages (Abstract).
Proceedings of the Algebraic and Logic Programming, 1988

1987
Refined Strategies for Semantic Unification.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

A Two-Level Approach to Logic plus Functional Programming Integration.
Proceedings of the PARLE, 1987

Notes on the Elimination of Conditions.
Proceedings of the Conditional Term Rewriting Systems, 1987

1986
IDEAL: An Ideal Deductive Applicative Language.
Proceedings of the 1986 Symposium on Logic Programming, 1986

A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.
Proceedings of the Foundations of Logic and Functional Programming, 1986

Some Aspects of the Integration between Logic Programming and Fiunctional Programming.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

A Prolog-Compiled Higher-Order Functional and Logic Language.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1984
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.
Proceedings of the Second International Logic Programming Conference, 1984

1983
Completeness Results for a Polymorphic Type System.
Proceedings of the CAAP'83, 1983


  Loading...