Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Unifying Boolean and Algebraic Descriptive Complexity
Chanus, B., Mazza, D. & Rogers, M., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Böhm and Taylor for All!
Dufour, A. & Mazza, D., 1 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024. Rehof, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Automatic differentiation in PCF
Mazza, D. & Pagani, M., 1 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 28.Research output: Contribution to journal › Article › peer-review
Open Access -
Backpropagation in the simply typed lambda-calculus with linear negation
Brunel, A., Mazza, D. & Pagani, M., 1 Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 64.Research output: Contribution to journal › Article › peer-review
Open Access -
Polynomial Time over the Reals with Parsimony
Hainry, E., Mazza, D. & Péchoux, R., 1 Jan 2020, Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 50-65 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12073 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Intersection types and runtime errors in the pi-calculus
Dal Lago, U., De Visme, M., Mazza, D. & Yoshimizu, A., 1 Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, 7.Research output: Contribution to journal › Article › peer-review
Open Access -
Polyadic approximations, fibrations and intersection types
Mazza, D., Pellissier, L. & Vial, P., 1 Jan 2018, In: Proceedings of the ACM on Programming Languages. 2, POPL, 6.Research output: Contribution to journal › Article › peer-review
Open Access -
The true concurrency of differential interaction nets
Mazza, D., 1 Aug 2018, In: Mathematical Structures in Computer Science. 28, 7, p. 1097-1125 29 p.Research output: Contribution to journal › Article › peer-review
-
Infinitary affine proofs
Mazza, D., 1 Jun 2017, In: Mathematical Structures in Computer Science. 27, 5, p. 581-602 22 p.Research output: Contribution to journal › Article › peer-review
-
Church Meets Cook and Levin
Mazza, D., 5 Jul 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers Inc., p. 827-836 10 p. (Proceedings - Symposium on Logic in Computer Science; vol. 05-08-July-2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review