VERCELLI, Luca
VERCELLI, Luca
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
A by-level analysis of Multiplicative Exponential Linear Logic
2009-01-01 Marco Gaboardi; Luca Roversi; Luca Vercelli
A local criterion for polynomial-time stratified computations
2010-01-01 Luca Roversi ; Luca Vercelli
Safe Recursion on Notation into a Light Logic by Levels
2010-01-01 Luca Roversi ; Luca Vercelli
Some Complexity and Expressiveness results on Multimodal andStratified Proof-nets
2009-01-01 Luca Roversi; Luca Vercelli
Taming Modal Impredicativity: Superlazy Reduction
2009-01-01 Ugo Dal Lago; Luca Roversi; Luca Vercelli
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A by-level analysis of Multiplicative Exponential Linear Logic | 2009 | Marco Gaboardi; Luca Roversi; Luca Vercelli | |
A local criterion for polynomial-time stratified computations | 2010 | Luca Roversi ; Luca Vercelli | |
Safe Recursion on Notation into a Light Logic by Levels | 2010 | Luca Roversi ; Luca Vercelli | |
Some Complexity and Expressiveness results on Multimodal andStratified Proof-nets | 2009 | Luca Roversi; Luca Vercelli | |
Taming Modal Impredicativity: Superlazy Reduction | 2009 | Ugo Dal Lago; Luca Roversi; Luca Vercelli |