GABOARDI, MARCO GIUSEPPE
GABOARDI, MARCO GIUSEPPE
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.014 secondi).
A logical account of PSPACE
2008-01-01 GABOARDI M; MARION J.Y; RONCHI DELLA ROCCA S.
A Soft Type Assignment System for Lambda-Calculus
2007-01-01 M. GABOARDI; S. RONCHI DELLA ROCCA
An Implicit Characterization of PSPACE
2012-01-01 M.Gaboardi; J. Y.Marion; S. Ronchi Della Rocca
From Light Logics to Type Assignements: a case study
2009-01-01 M. Gaboardi; S. Ronchi Della Rocca
Linguistic markers of processing the first months of the pandemic COVID-19: a psycholinguistic analysis of Italian university students' diaries
2024-01-01 Gandino, G.; Civilotti, C.; Finzi, S.; Gaboardi, M.; Guazzini, A.; Novara, C.; Procentese, F.; Santinello, M.; Sola, T.; Veglia, F.; Venera, E. M.; Di Fini, G.
Soft linear Logic and Polynomial Complexity Classes
2008-01-01 M. Gaboardi; J.Y. Marion; S. Ronchi Della Rocca
Syntactical, Operational and Denotational Linearity
2007-01-01 M. GABOARDI; L. PAOLINI
Type Inference for a polynomial Lambda-Calculus
2009-01-01 M. Gaboardi; S. Ronchi Della Rocca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A logical account of PSPACE | 2008 | GABOARDI M; MARION J.Y; RONCHI DELLA ROCCA S. | |
| A Soft Type Assignment System for Lambda-Calculus | 2007 | M. GABOARDI; S. RONCHI DELLA ROCCA | |
| An Implicit Characterization of PSPACE | 2012 | M.Gaboardi; J. Y.Marion; S. Ronchi Della Rocca | |
| From Light Logics to Type Assignements: a case study | 2009 | M. Gaboardi; S. Ronchi Della Rocca | |
| Linguistic markers of processing the first months of the pandemic COVID-19: a psycholinguistic analysis of Italian university students' diaries | 2024 | Gandino, G.; Civilotti, C.; Finzi, S.; Gaboardi, M.; Guazzini, A.; Novara, C.; Procentese, F.; Santinello, M.; Sola, T.; Veglia, F.; Venera, E. M.; Di Fini, G. | |
| Soft linear Logic and Polynomial Complexity Classes | 2008 | M. Gaboardi; J.Y. Marion; S. Ronchi Della Rocca | |
| Syntactical, Operational and Denotational Linearity | 2007 | M. GABOARDI; L. PAOLINI | |
| Type Inference for a polynomial Lambda-Calculus | 2009 | M. Gaboardi; S. Ronchi Della Rocca |