Mauro Piccolo

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 7

Top Topics

Relational Models

Quantum Mechanics

Recursive Functions

Top Venues

Math. Struct. Comput. Sci.

Fundam. Informaticae

Publications

Luca Paolini, Mauro Piccolo, Luca Roversi
A class of Recursive Permutations which is Primitive Recursive complete. Theor. Comput. Sci. 813 (2020)
Luca Paolini, Mauro Piccolo, Margherita Zorzi
QPCF: Higher-Order Languages and Quantum Circuits. J. Autom. Reason. 63 (4) (2019)
Luca Paolini, Mauro Piccolo, Luca Roversi
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions. New Gener. Comput. 36 (3) (2018)
Luca Paolini, Mauro Piccolo, Margherita Zorzi
QPCF: higher order languages and quantum circuits. CoRR (2018)
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
Essential and relational models. Math. Struct. Comput. Sci. 27 (5) (2017)
Luca Paolini, Mauro Piccolo, Luca Roversi
A Class of Reversible Primitive Recursive Functions. Electron. Notes Theor. Comput. Sci. 322 (2016)
Marco Gaboardi, Luca Paolini, Mauro Piccolo
On the reification of semantic linearity. Math. Struct. Comput. Sci. 26 (5) (2016)
Luca Paolini, Mauro Piccolo, Luca Roversi
A Certified Study of a Reversible Programming Language. TYPES (2015)
Marco Gaboardi, Mauro Piccolo
What is a model for a semantically linear λ-calculus? J. Log. Comput. 24 (3) (2014)
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
Certified Complexity (CerCo). FOPARA (2013)
Mauro Piccolo
Strong Normalization in the π-calculus with Intersection and Union Types. Fundam. Informaticae 121 (1-4) (2012)
Marco Gaboardi, Luca Paolini, Mauro Piccolo
Linearity and PCF: a semantic insight! ICFP (2011)
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
Logical Semantics for Stability. MFPS (2009)
Claudia Faggian, Mauro Piccolo
Partial Orders, Event Structures and Linear Strategies. TLCA (2009)
Marco Gaboardi, Mauro Piccolo
Categorical Models for a Semantically Linear Lambda-calculus LINEARITY (2009)
Luca Paolini, Mauro Piccolo
A Process-Model for Linear Programs. TYPES (2008)
Luca Paolini, Mauro Piccolo
Semantically linear programming languages. PPDP (2008)
Claudia Faggian, Mauro Piccolo
A Graph Abstract Machine Describing Event Structure Composition. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Claudia Faggian, Mauro Piccolo
Ludics is a Model for the Finitary Linear Pi-Calculus. TLCA (2007)