Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
A Soft Type Assignment System for Lambda-Calculus 2007 M. GABOARDI; S. RONCHI DELLA ROCCA
Syntactical, Operational and Denotational Linearity 2007 M. GABOARDI; L. PAOLINI
Soft linear Logic and Polynomial Complexity Classes 2008 M. Gaboardi; J.Y. Marion; S. Ronchi Della Rocca
A logical account of PSPACE 2008 GABOARDI M; MARION J.Y; RONCHI DELLA ROCCA S.
From Light Logics to Type Assignements: a case study 2009 M. Gaboardi; S. Ronchi Della Rocca
Type Inference for a polynomial Lambda-Calculus 2009 M. Gaboardi; S. Ronchi Della Rocca
An Implicit Characterization of PSPACE 2012 M.Gaboardi; J. Y.Marion; 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.
Mostrati risultati da 1 a 8 di 8
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