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