Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
A by-level analysis of Multiplicative Exponential Linear Logic
2009-01-01 Marco Gaboardi; 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
Safe Recursion on Notation into a Light Logic by Levels
2010-01-01 Luca Roversi ; Luca Vercelli
A local criterion for polynomial-time stratified computations
2010-01-01 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 | |
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 | |
Safe Recursion on Notation into a Light Logic by Levels | 2010 | Luca Roversi ; Luca Vercelli | |
A local criterion for polynomial-time stratified computations | 2010 | Luca Roversi ; Luca Vercelli |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile