Luca Vercelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2009–2009
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | LFCS | Taming Modal Impredicativity: Superlazy Reduction. | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
| 2009 | MFCS | A By-Level Analysis of Multiplicative Exponential Linear Logic. | Marco Gaboardi, Luca Roversi, Luca Vercelli |