PICCOLO, Mauro
PICCOLO, Mauro
CULTURE, POLITICA E SOCIETA'
A certified study of a reversible programming language
2018-01-01 Luca Paolini; Mauro Piccolo; Luca Roversi
A class of Recursive Permutations which is Primitive Recursive complete
2020-01-01 Paolini L.; Piccolo M.; Roversi L.
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
Essential and relational models
2017-01-01 Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, S.
International Conference TYPES 2008
2008-01-01 Stefano Berardi; Lorenzo Bettini; Mario Coppo; Ferruccio Damiani; Mariangiola Dezani; Ugo de' Liguoro; 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
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions
2018-01-01 Luca Paolini, Mauro Piccolo , Luca Roversi
On the reification of semantic linearity
2016-01-01 Marco Gaboard; Luca Paolini; Mauro Piccolo
QPCF: Higher-Order Languages and Quantum Circuits
2019-01-01 Paolini L.; Piccolo M.; Zorzi M.
Semantically Linear Programming Languages
2008-01-01 L. PAOLINI; M. PICCOLO
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A certified study of a reversible programming language | 2018 | Luca Paolini; Mauro Piccolo; Luca Roversi | |
| A class of Recursive Permutations which is Primitive Recursive complete | 2020 | Paolini L.; Piccolo M.; Roversi L. | |
| 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 | |
| Essential and relational models | 2017 | Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, S. | |
| International Conference TYPES 2008 | 2008 | Stefano Berardi; Lorenzo Bettini; Mario Coppo; Ferruccio Damiani; Mariangiola Dezani; Ugo de' Liguoro; 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 | |
| On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions | 2018 | Luca Paolini, Mauro Piccolo , Luca Roversi | |
| On the reification of semantic linearity | 2016 | Marco Gaboard; Luca Paolini; Mauro Piccolo | |
| QPCF: Higher-Order Languages and Quantum Circuits | 2019 | Paolini L.; Piccolo M.; Zorzi M. | |
| Semantically Linear Programming Languages | 2008 | L. PAOLINI; M. PICCOLO |