GIOVANNETTI, Elio
GIOVANNETTI, Elio
INFORMATICA
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions
1987-01-01 G. Levi; C. Palamidessi; P. G. Bosco; E. Giovannetti; C. Moiso
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing
1986-01-01 E. Giovannetti; C. Moiso
A Mobility Calculus with Local Dependent Types
2005-01-01 M. COPPO; F. COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications
1984-01-01 P. G. Bosco; G. Giandonato; E. Giovannetti
A Prolog-Compiled Higher-Order Functional and Logic Language
1987-01-01 P.G. Bosco; E. Giovannetti
A Two-Level Approach to Logic plus Functional Programming Integration
1987-01-01 M. Bellia; P. G. Bosco; E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
Ambient Calculi with Types: a Tutorial.
2003-01-01 E. GIOVANNETTI
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language
1992-01-01 P. G. Bosco; L. Ferrari; E. Giovannetti; C. Moiso
Architectural Choices in a CHILL Machine Design
1984-01-01 G. Giandonato; E. Giovannetti; G. Rosci; G. Sofi
Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione
1986-01-01 P.G. Bosco; G. Giandonato; S. Giorcelli; E. Giovannetti; G. Sofi
Comments on "Logic-Programming with Equations"
1991-01-01 P. G. Bosco; E. Giovannetti; C. Moiso; C. Palamidessi
Completeness Results for a Polymorphic Type System
1983-01-01 Mario Coppo; Elio Giovannetti
Dynamic and Local Typing for Mobile Ambients
2004-01-01 M. COPPO; M. DEZANI; E. GIOVANNETTI ; R. PUGLIESE
From Böhm's Theorem to Observational Equivalences: an Informal Account
2001-01-01 DEZANI-CIANCAGLINI M; GIOVANNETTI E.
IDEAL: An Ideal DEductive Applicative Language
1986-01-01 P.G. Bosco; E. Giovannetti
Informatica nella scuola primaria
2007-01-01 G. B. Demo; E. Giovannetti; R. Trinchero
Intersection Types, Lambda-models and Böhm Trees.
1998-01-01 DEZANI-CIANCAGLINI M.; GIOVANNETTI E.; DE' LIGUORO U.
Isomorphism checker for intersection-types
2010-01-01 Mariangiola Dezani; Elio Giovannetti; Loris D'Antoni; Daniele Rispoli
Kernel-LEAF: A Logic plus Functional Language
1991-01-01 E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
M3: Mobility Types for Mobile Processes in Mobile Ambients
2003-01-01 COPPO M; DEZANI-CIANCAGLINI M; GIOVANNETTI E; SALVO I