|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Elio Giovannetti | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2012 | |
| Audrito, Demo and Giovannetti | "The Role of Contests in Changing Informatic Education: A Local View" Article. |
| 2010 | |
| Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta | "On Isomorphisms of Intersection Types" Article. |
| 2008 | |
| Coppo, Dezani-Ciancaglini and Giovannetti | "Types for Ambient and Process Mobility" Article. |
| Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta | "On Isomorphisms of Intersection Types" In proceedings. |
| 2005 | |
| Coppo, Cozzi, Dezani-Ciancaglini, Giovannetti and Pugliese | "A Mobility Calculus with Local and Dependent Types" In proceedings. |
| 2004 | |
| Coppo, Dezani-Ciancaglini, Giovannetti and Pugliese | "Dynamic and Local Typing for Mobile Ambients" In proceedings. |
| Giovannetti | "Type Inference for Mobile Ambients in Prolog" In proceedings. |
| 2003 | |
| Coppo, Dezani-Ciancaglini, Giovannetti and Salvo | "M3: Mobility Types for Mobile Processes in Mobile Ambients" In proceedings. |
| Giovannetti | "Ambient Calculi with Types: a Tutorial" In proceedings. |
| 2002 | |
| Dezani-Ciancaglini, Frisch, Giovannetti and Motohama | "The Relevance of Semantic Subtyping" In proceedings. |
| 2001 | |
| Dezani-Ciancaglini and Giovannetti | "From Böhm's Theorem to Observational Equivalences: an Informal Account" In proceedings. |
| 1998 | |
| Dezani-Ciancaglini, Giovannetti and de' Liguoro | "Intersection Types, Lambda-models and Böhm Trees" In a collection: Mathematical Society of Japan. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)