Travelled to:1 × Croatia
1 × Denmark
1 × Estonia
1 × Germany
1 × Japan
1 × Sweden
1 × The Netherlands
2 × France
Collaborated with:∅ A.Brunel K.Terui N.J.Ross B.Accattoli P.Barenbaum L.Pellissier Pierre Vial M.Pagani M.Gaboardi S.Zdancewic U.D.Lago M.d.Visme A.Yoshimizu
Talks about:calculus (6) type (5) abstract (3) linear (3) full (3) non (3) infinitari (2) parsimoni (2) intersect (2) interact (2)
Person: Damiano Mazza
DBLP: Mazza:Damiano
Contributed to:
2015
2015
20142014
2014
2013
2012
20122007
201820192020Wrote 12 papers:
- CSL-2015-Mazza
- Simple Parsimonious Types and Logarithmic Space (DM), pp. 24–40.
- ICALP-v2-2015-MazzaT
- Parsimonious Types and Non-uniform Computation (DM, KT), pp. 350–361.
- ESOP-2014-BrunelGMZ #calculus
- A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.
- ICALP-v2-2014-Mazza #λ-calculus
- Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.
- ICFP-2014-AccattoliBM #automaton
- Distilling abstract machines (BA, PB, DM), pp. 363–376.
- TLCA-2013-Mazza #metric
- Non-linearity as the Metric Completion of Linearity (DM), pp. 3–14.
- FoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling #symmetry
- Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.
- LICS-2012-Mazza #λ-calculus
- An Infinitary Affine λ-Calculus Isomorphic to the Full λ-Calculus (DM), pp. 471–480.
- TLCA-2007-Mazza #abstraction #combinator #interactive #symmetry
- Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.
- POPL-2018-MazzaPV #approximate
- Polyadic approximations, fibrations and intersection types (DM, LP, PV), p. 28.
- POPL-2019-LagoVMY #fault #runtime #π-calculus
- Intersection types and runtime errors in the pi-calculus (UDL, MdV, DM, AY), p. 29.
- POPL-2020-BrunelMP #linear #λ-calculus
- Backpropagation in the simply typed lambda-calculus with linear negation (AB, DM, MP), p. 27.