| |
| 2005 | ||
|---|---|---|
| 1 | EE | Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444 |
| 1 | Mario Coppo | [1] |
| 2 | Mariangiola Dezani-Ciancaglini | [1] |
| 3 | Elio Giovannetti | [1] |
| 4 | Rosario Pugliese | [1] |