Damiano Mazza

Available identifiers

zbMath Open mazza.damianoWikidataQ102315559 ScholiaQ102315559MaRDI QIDQ1044840

List of research outcomes

Publication	Date of Publication	Type
Polynomial time over the reals with parsimony	2021-07-06	Paper
The true concurrency of differential interaction nets	2018-08-07	Paper
Church meets Cook and Levin	2018-04-23	Paper
Simple parsimonious types and logarithmic space	2017-08-31	Paper
Infinitary affine proofs	2017-06-14	Paper
An infinitary affine lambda-calculus isomorphic to the full lambda-calculus	2017-05-16	Paper
Distilling abstract machines	2016-09-29	Paper
A functorial bridge between the infinitary affine lambda-calculus and linear logic	2016-02-25	Paper
A strong distillery	2016-01-08	Paper
Parsimonious types and non-uniform computation	2015-11-04	Paper
An abstract approach to stratification in linear logic	2015-05-04	Paper
Non-uniform polytime computation in the infinitary affine lambda-calculus	2014-07-01	Paper
A core quantitative coeffect calculus	2014-04-16	Paper
Observational equivalence for the interaction combinators and internal separation	2013-12-20	Paper
A hierarchy of expressiveness in concurrent interaction nets	2013-08-12	Paper
Non-linearity as the metric completion of linearity	2013-06-28	Paper
Full abstraction for set-based models of the symmetric interaction combinators	2012-06-22	Paper
Observational equivalence and full abstraction in the symmetric interaction combinators	2010-01-28	Paper
Linear logic by levels and bounded time complexity	2009-12-15	Paper
Edifices and Full Abstraction for the Symmetric Interaction Combinators	2009-03-10	Paper
The Separation Theorem for Differential Interaction Nets	2008-05-15	Paper
A denotational semantics for the symmetric interaction combinators	2007-09-26	Paper
Linear logic and polynomial time	2007-02-07	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper

Research outcomes over time

This page was built for person: Damiano Mazza