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
https://portal.mardi4nfdi.de/entity/Q5351948	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Damiano Mazza