Statistics
Publications
8
Citations
244
H-Index
8
Active since
2006
Damiano Mazza is an author at Centre National de la Recherche Scientifique specializing in computer science, mathematics, and set theory.
Publications per year
2006–2021
8
8
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza · 2014 · 77 citations
Automatic differentiation in PCF
Damiano Mazza, Michele Pagani · Proceedings of the ACM on Programming Languages · 2021 · 48 citations · Full text
Linear logic by levels and bounded time complexity
Patrick Baillot, Damiano Mazza · Theoretical Computer Science · 2009 · 35 citations · Full text
1–5 of 8