|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
Luca Vercelli | |
---|---|
Personal Home Page Type-Hierarchical Overview | |
Chronological Overview |
2010 | |
Roversi and Vercelli | "A structural and local criterion for polynomial time computations" In proceedings. |
Roversi and Vercelli | "Safe Recursion on Notation into a Light Logic by Levels" In proceedings. |
Vercelli | "On the Complexity of Stratified Logics" PhD thesis. |
Vercelli | "On the Complexity of Stratified Logics -- Relationship between stratified light logics and algebras of functions used to characterize polynomial time computable functions" Book. |
2009 | |
Dal Lago, Roversi and Vercelli | "Taming Modal Impredicativity: Superlazy Reduction" In proceedings. |
Gaboardi, Roversi and Vercelli | "A by-level analysis of Multiplicative Exponential Linear Logic" In proceedings. |
Roversi and Vercelli | "Some Complexity and Expressiveness results on Multimodal and Stratified Proof-nets" In proceedings. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)