Mauro Piccolo

19 papers A 1B 1C 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2020 J jnl
A class of Recursive Permutations which is Primitive Recursive complete.
Theor. Comput. Sci.
Luca Paolini, Mauro Piccolo, Luca Roversi
2019 J jnl
QPCF: Higher-Order Languages and Quantum Circuits.
J. Autom. Reason.
Luca Paolini, Mauro Piccolo, Margherita Zorzi
2018 J jnl
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions.
New Gener. Comput.
Luca Paolini, Mauro Piccolo, Luca Roversi
2018 J jnl
QPCF: higher order languages and quantum circuits.
CoRR
Luca Paolini, Mauro Piccolo, Margherita Zorzi
2017 J jnl
Essential and relational models.
Math. Struct. Comput. Sci.
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
2016 J jnl
On the reification of semantic linearity.
Math. Struct. Comput. Sci.
Marco Gaboardi, Luca Paolini, Mauro Piccolo
2015 — conf
A Certified Study of a Reversible Programming Language.
TYPES
Luca Paolini, Mauro Piccolo, Luca Roversi
2015 — conf
A Class of Reversible Primitive Recursive Functions.
ICTCS
Luca Paolini, Mauro Piccolo, Luca Roversi
2014 J jnl
What is a model for a semantically linear λ-calculus?
J. Log. Comput.
Marco Gaboardi, Mauro Piccolo
2013 — conf
Certified Complexity (CerCo).
FOPARA
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
2012 J jnl
Strong Normalization in the π-calculus with Intersection and Union Types.
Fundam. Informaticae
Mauro Piccolo
2011 A conf
Linearity and PCF: a semantic insight!
ICFP
Marco Gaboardi, Luca Paolini, Mauro Piccolo
2009 — conf
Categorical Models for a Semantically Linear Lambda-calculus
LINEARITY
Marco Gaboardi, Mauro Piccolo
2009 B conf
Logical Semantics for Stability.
MFPS
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
2009 — conf
Partial Orders, Event Structures and Linear Strategies.
TLCA
Claudia Faggian, Mauro Piccolo
2008 — conf
A Process-Model for Linear Programs.
TYPES
Luca Paolini, Mauro Piccolo
2008 C conf
Semantically linear programming languages.
PPDP
Luca Paolini, Mauro Piccolo
2007 — conf
Ludics is a Model for the Finitary Linear Pi-Calculus.
TLCA
Claudia Faggian, Mauro Piccolo
2006 — conf
A Graph Abstract Machine Describing Event Structure Composition.
GT-VC@CONCUR
Claudia Faggian, Mauro Piccolo