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.022 secondi).
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 2023 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