Damiano Mazza

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 12

Top Topics

Multilayer Perceptron Neural Network

Predicate Calculus

Affine Invariance

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Publications

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