Mauro Piccolo

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5150148	2021-02-09	Paper
A class of recursive permutations which is primitive recursive complete	2020-04-21	Paper
QPCF: higher-order languages and quantum circuits	2019-10-25	Paper
A Certified Study of a Reversible Programming Language	2018-08-13	Paper
Essential and relational models	2017-06-14	Paper
A class of reversible primitive recursive functions	2016-08-05	Paper
On the reification of semantic linearity	2016-07-28	Paper
Logical semantics for stability	2016-05-10	Paper
Certified Complexity (CerCo)	2016-01-07	Paper
Linearity and PCF	2015-03-05	Paper
What is a model for a semantically linear -calculus?	2015-01-12	Paper
A graph abstract machine describing event structure composition	2013-12-20	Paper
Strong normalization in the \(\pi \)-calculus with intersection and union types	2013-01-24	Paper
Partial Orders, Event Structures and Linear Strategies	2009-07-07	Paper
A Process-Model for Linear Programs	2009-07-02	Paper
Ludics is a Model for the Finitary Linear Pi-Calculus	2009-03-10	Paper

This page was built for person: Mauro Piccolo