| |
| * | 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] |