PICCOLO, Mauro
PICCOLO, Mauro
CULTURE, POLITICA E SOCIETA'
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.014 secondi).
A Class of Reversible Primitive Recursive Functions
2016-01-01 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
A Graph Abstract Machine Describing Event Structure Composition
2007-01-01 C. FAGGIAN; M. PICCOLO
A Process-Model for Linear Programs
2009-01-01 Luca Paolini; Mauro Piccolo
Linearity and PCF: a semantic insight!
2011-01-01 Marco Gaboardi; Luca Paolini ; Mauro Piccolo
Logical Semantics for Stability
2009-01-01 L.Paolini; M.Piccolo; S.Ronchi Della Rocca
Ludics is a Model for the Finitary Linear Pi-Calculus
2007-01-01 C. FAGGIAN; M. PICCOLO
Semantically Linear Programming Languages
2008-01-01 L. PAOLINI; M. PICCOLO
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Class of Reversible Primitive Recursive Functions | 2016 | Paolini, Luca; Piccolo, Mauro; Roversi, Luca | |
A Graph Abstract Machine Describing Event Structure Composition | 2007 | C. FAGGIAN; M. PICCOLO | |
A Process-Model for Linear Programs | 2009 | Luca Paolini; Mauro Piccolo | |
Linearity and PCF: a semantic insight! | 2011 | Marco Gaboardi; Luca Paolini ; Mauro Piccolo | |
Logical Semantics for Stability | 2009 | L.Paolini; M.Piccolo; S.Ronchi Della Rocca | |
Ludics is a Model for the Finitary Linear Pi-Calculus | 2007 | C. FAGGIAN; M. PICCOLO | |
Semantically Linear Programming Languages | 2008 | L. PAOLINI; M. PICCOLO |