GABOARDI, MARCO GIUSEPPE
GABOARDI, MARCO GIUSEPPE
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Mostra
records
Risultati 1 - 5 di 5 (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
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 | |
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 |