|
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)