Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Unifying Boolean and Algebraic Descriptive Complexity
Chanus, B., Mazza, D. & Rogers, M., 7 juil. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Böhm and Taylor for All!
Dufour, A. & Mazza, D., 1 juil. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Automatic differentiation in PCF
Mazza, D. & Pagani, M., 1 janv. 2021, Dans: Proceedings of the ACM on Programming Languages. 5, POPL, 28.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Backpropagation in the simply typed lambda-calculus with linear negation
Brunel, A., Mazza, D. & Pagani, M., 1 janv. 2020, Dans: Proceedings of the ACM on Programming Languages. 4, POPL, 64.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Polynomial Time over the Reals with Parsimony
Hainry, E., Mazza, D. & Péchoux, R., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Intersection types and runtime errors in the pi-calculus
Dal Lago, U., De Visme, M., Mazza, D. & Yoshimizu, A., 1 janv. 2019, Dans: Proceedings of the ACM on Programming Languages. 3, POPL, 7.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Polyadic approximations, fibrations and intersection types
Mazza, D., Pellissier, L. & Vial, P., 1 janv. 2018, Dans: Proceedings of the ACM on Programming Languages. 2, POPL, 6.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
The true concurrency of differential interaction nets
Mazza, D., 1 août 2018, Dans: Mathematical Structures in Computer Science. 28, 7, p. 1097-1125 29 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Infinitary affine proofs
Mazza, D., 1 juin 2017, Dans: Mathematical Structures in Computer Science. 27, 5, p. 581-602 22 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Church Meets Cook and Levin
Mazza, D., 5 juil. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs