![]() | ![]() |
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] |