Elio Giovannetti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On isomorphisms of intersection types ACM Transactions on Computational Logic	2015-09-17	Paper
Type inference for mobile ambients in Prolog	2013-08-30	Paper
M\(^3\): mobility types for mobile processes in mobile ambients	2013-08-27	Paper
The relevance of semantic subtyping Electronic Notes in Theoretical Computer Science	2013-08-16	Paper
From Böhm's theorem to observational equivalences: an informal account Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Ambient calculi with types: A tutorial Lecture Notes in Computer Science	2010-02-05	Paper
On Isomorphisms of Intersection Types Computer Science Logic	2008-11-20	Paper
Types for ambient and process mobility Mathematical Structures in Computer Science	2008-04-10	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity Lecture Notes in Computer Science	2006-11-13	Paper
scientific article; zbMATH DE number 2163047 (Why is no real title available?)	2005-04-29	Paper
scientific article; zbMATH DE number 1361533 (Why is no real title available?)	2000-02-01	Paper
Kernel-LEAF: A logic plus functional language Journal of Computer and System Sciences	1991-01-01	Paper
Comments on “logic programming with equations” The Journal of Logic Programming	1991-01-01	Paper
scientific article; zbMATH DE number 4164176 (Why is no real title available?)	1989-01-01	Paper
Narrowing vs. SLD-resolution Theoretical Computer Science	1988-01-01	Paper
scientific article; zbMATH DE number 4053008 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4092755 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4031035 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3829227 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3905869 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Elio Giovannetti