Luca Vercelli

According to our database, Luca Vercelli authored at least 6 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Safe Recursion on Notation into a Light Logic by Levels

Luca Roversi, Luca Vercelli

Proceedings of the Proceedings International Workshop on Developments in Implicit Computational complExity, 2010

On the complexity of stratified logics

Luca Vercelli

CoRR, 2010

2009

A By-Level Analysis of Multiplicative Exponential Linear Logic.

Marco Gaboardi, Luca Roversi, Luca Vercelli

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

Taming Modal Impredicativity: Superlazy Reduction.

Ugo Dal Lago, Luca Roversi, Luca Vercelli

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

A Local Criterion for Polynomial-Time Stratified Computations.

Luca Roversi, Luca Vercelli

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

2008

Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets.

Luca Roversi, Luca Vercelli

Proceedings of the Types for Proofs and Programs, International Conference, 2008