| |
| 2009 | ||
|---|---|---|
| 2 | EE | Ugo Dal Lago, Luca Roversi, Luca Vercelli: Taming Modal Impredicativity: Superlazy Reduction. LFCS 2009: 137-151 |
| 2008 | ||
| 1 | EE | Ugo Dal Lago, Luca Roversi, Luca Vercelli: Taming Modal Impredicativity: Superlazy Reduction CoRR abs/0810.2891: (2008) |
| 1 | Ugo Dal Lago | [1] [2] |
| 2 | Luca Roversi | [1] [2] |