Elio Giovannetti

Available identifiers

Publication	Date of Publication	Type
On isomorphisms of intersection types	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	2013-08-16	Paper
From Böhm's Theorem to Observational Equivalences	2013-04-19	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
On Isomorphisms of Intersection Types	2008-11-20	Paper
Types for ambient and process mobility	2008-04-10	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4673434	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4699351	2000-02-01	Paper
Kernel-LEAF: A logic plus functional language	1991-01-01	Paper
Comments on “logic programming with equations”	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490994	1989-01-01	Paper
Narrowing vs. SLD-resolution	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789061	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819990	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3771660	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674034	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3683553	1983-01-01	Paper

This page was built for person: Elio Giovannetti