Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. - Luca Roversi; Luca Vercelli (TYPES, 2008)

A Local Criterion for Polynomial-Time Stratified Computations. - Luca Roversi; Luca Vercelli (FOPARA, 2009)

Taming Modal Impredicativity: Superlazy Reduction. - Ugo Dal Lago; Luca Roversi; Luca Vercelli (LFCS, 2009)

A By-Level Analysis of Multiplicative Exponential Linear Logic. - Marco Gaboardi; Luca Roversi; Luca Vercelli (MFCS, 2009)

On the complexity of stratified logics - Luca Vercelli (CoRR, 2010)

Safe Recursion on Notation into a Light Logic by Levels - Luca Roversi; Luca Vercelli (DICE, 2010)