Luca Vercelli

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Luca Vercelli
On the complexity of stratified logics CoRR (2010)
Luca Roversi, Luca Vercelli
Safe Recursion on Notation into a Light Logic by Levels DICE (2010)
Marco Gaboardi, Luca Roversi, Luca Vercelli
A By-Level Analysis of Multiplicative Exponential Linear Logic. MFCS (2009)
Ugo Dal Lago, Luca Roversi, Luca Vercelli
Taming Modal Impredicativity: Superlazy Reduction. LFCS (2009)
Luca Roversi, Luca Vercelli
A Local Criterion for Polynomial-Time Stratified Computations. FOPARA (2009)
Luca Roversi, Luca Vercelli
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. TYPES (2008)
Ugo Dal Lago, Luca Roversi, Luca Vercelli
Taming Modal Impredicativity: Superlazy Reduction CoRR (2008)