Mauro Piccolo

According to our database, Mauro Piccolo authored at least 18 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A class of Recursive Permutations which is Primitive Recursive complete.

Luca Paolini, Mauro Piccolo, Luca Roversi

Theor. Comput. Sci., 2020

2019

QPCF: Higher-Order Languages and Quantum Circuits.

Luca Paolini, Mauro Piccolo, Margherita Zorzi

J. Autom. Reason., 2019

2018

On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions.

Luca Paolini, Mauro Piccolo, Luca Roversi

New Gener. Comput., 2018

2017

Essential and relational models.

Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca

Math. Struct. Comput. Sci., 2017

2016

On the reification of semantic linearity.

Marco Gaboardi, Luca Paolini, Mauro Piccolo

Math. Struct. Comput. Sci., 2016

2015

A Class of Reversible Primitive Recursive Functions.

Luca Paolini, Mauro Piccolo, Luca Roversi

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

A Certified Study of a Reversible Programming Language.

Luca Paolini, Mauro Piccolo, Luca Roversi

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

2014

What is a model for a semantically linear λ-calculus?

Marco Gaboardi, Mauro Piccolo

J. Log. Comput., 2014

2013

Certified Complexity (CerCo).

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Strong Normalization in the π-calculus with Intersection and Union Types.

Mauro Piccolo

Fundam. Informaticae, 2012

2011

Linearity and PCF: a semantic insight!

Marco Gaboardi, Luca Paolini, Mauro Piccolo

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2009

Logical Semantics for Stability.

Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Categorical Models for a Semantically Linear Lambda-calculus

Marco Gaboardi, Mauro Piccolo

Proceedings of the Proceedings First International Workshop on Linearity, 2009

Partial Orders, Event Structures and Linear Strategies.

Claudia Faggian, Mauro Piccolo

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2008

A Process-Model for Linear Programs.

Luca Paolini, Mauro Piccolo

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Semantically linear programming languages.

Luca Paolini, Mauro Piccolo

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007

Ludics is a Model for the Finitary Linear Pi-Calculus.

Claudia Faggian, Mauro Piccolo

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

2006

A Graph Abstract Machine Describing Event Structure Composition.

Claudia Faggian, Mauro Piccolo

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006