Damiano Mazza

38 papers A* 2A 2B 8C 1Misc 1Journal 19Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Unifying Boolean and Algebraic Descriptive Complexity.
FSCD
Baptiste Chanus, Damiano Mazza, Morgan Rogers
2024 B conf
Böhm and Taylor for All!
FSCD
Aloÿs Dufour, Damiano Mazza
2024 J jnl
On the complexity of normalization for the planar λ-calculus.
CoRR
Anupam Das, Damiano Mazza, Lê Thành Dung Nguyên, Noam Zeilberger
2021 J jnl
Automatic differentiation in PCF.
Proc. ACM Program. Lang.
Damiano Mazza, Michele Pagani
2020 J jnl
Automatic Differentiation in PCF.
CoRR
Damiano Mazza, Michele Pagani
2020 J jnl
Backpropagation in the simply typed lambda-calculus with linear negation.
Proc. ACM Program. Lang.
Aloïs Brunel, Damiano Mazza, Michele Pagani
2020 Misc conf
Polynomial Time over the Reals with Parsimony.
FLOPS
Emmanuel Hainry, Damiano Mazza, Romain Péchoux
2019 J jnl
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation.
CoRR
Aloïs Brunel, Damiano Mazza, Michele Pagani
2019 J jnl
Intersection types and runtime errors in the pi-calculus.
Proc. ACM Program. Lang.
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
2018 J jnl
Polyadic approximations, fibrations and intersection types.
Proc. ACM Program. Lang.
Damiano Mazza, Luc Pellissier, Pierre Vial
2018 J jnl
The true concurrency of differential interaction nets.
Math. Struct. Comput. Sci.
Damiano Mazza
2017 J jnl
Infinitary affine proofs.
Math. Struct. Comput. Sci.
Damiano Mazza
2016 A* conf
Church Meets Cook and Levin.
LICS
Damiano Mazza
2015 C conf
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.
ICTAC
Damiano Mazza, Luc Pellissier
2015 B conf
A Strong Distillery.
APLAS
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2015 J jnl
A Strong Distillery.
CoRR
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2015 J jnl
An abstract approach to stratification in linear logic.
Inf. Comput.
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco
2015 — conf
Parsimonious Types and Non-uniform Computation.
ICALP (2)
Damiano Mazza, Kazushige Terui
2015 B conf
Simple Parsimonious Types and Logarithmic Space.
CSL
Damiano Mazza
2014 A conf
A Core Quantitative Coeffect Calculus.
ESOP
Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
2014 J jnl
Distilling Abstract Machines (Long Version).
CoRR
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2014 A conf
Distilling abstract machines.
ICFP
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2014 — conf
Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus.
ICALP (2)
Damiano Mazza
2013 B conf
A Hierarchy of Expressiveness in Concurrent Interaction Nets.
CONCUR
Andrei Dorman, Damiano Mazza
2013 — conf
Non-linearity as the Metric Completion of Linearity.
TLCA
Damiano Mazza
2012 J jnl
An Abstract Approach to Stratification in Linear Logic
CoRR
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco
2012 A* conf
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus.
LICS
Damiano Mazza
2012 J jnl
Computational Complexity of Interactive Behaviors
CoRR
Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
2012 B conf
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators.
FoSSaCS
Damiano Mazza, Neil J. Ross
2010 J jnl
Linear logic by levels and bounded time complexity.
Theor. Comput. Sci.
Patrick Baillot, Damiano Mazza
2009 J jnl
Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
Log. Methods Comput. Sci.
Damiano Mazza
2008 J jnl
Linear Logic by Levels and Bounded Time Complexity
CoRR
Patrick Baillot, Damiano Mazza
2007 J jnl
A denotational semantics for the symmetric interaction combinators.
Math. Struct. Comput. Sci.
Damiano Mazza
2007 — conf
Edifices and Full Abstraction for the Symmetric Interaction Combinators.
TLCA
Damiano Mazza
2007 B conf
The Separation Theorem for Differential Interaction Nets.
LPAR
Damiano Mazza, Michele Pagani
2006 J jnl
Linear logic and polynomial time.
Math. Struct. Comput. Sci.
Damiano Mazza
2006 — conf
Observational Equivalence for the Interaction Combinators and Internal Separation.
TERMGRAPH@ETAPS
Damiano Mazza
2005 B conf
Multiport Interaction Nets and Concurrency.
CONCUR
Damiano Mazza