PICCOLO, Mauro

PICCOLO, Mauro  

CULTURE, POLITICA E SOCIETA'  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.031 secondi).
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