| Modules over monads and initial semantics A Hirschowitz, M Maggesi Information and Computation 208 (5), 545-564, 2010 | 49 | 2010 |
| Modules over monads and linearity A Hirschowitz, M Maggesi Logic, Language, Information and Computation: 14th International Workshop …, 2007 | 47 | 2007 |
| Bicategories in univalent foundations B Ahrens, D Frumin, M Maggesi, N Veltri, N Van Der Weide Mathematical Structures in Computer Science 31 (10), 1232-1269, 2021 | 33 | 2021 |
| Modular specification of monads through higher-order presentations B Ahrens, A Hirschowitz, A Lafont, M Maggesi arXiv preprint arXiv:1903.00922, 2019 | 17 | 2019 |
| A formalization of metric spaces in HOL Light M Maggesi Journal of Automated Reasoning 60 (2), 237-254, 2018 | 17 | 2018 |
| Nested abstract syntax in Coq A Hirschowitz, M Maggesi Journal of Automated Reasoning 49, 409-426, 2012 | 17 | 2012 |
| High-level signatures and initial semantics B Ahrens, A Hirschowitz, A Lafont, M Maggesi LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 119, 1-22, 2018 | 12 | 2018 |
| Minimal resolution of general stable vector bundles on P2 C Dionisi, M Maggesi arXiv preprint math/0002169, 2003 | 12 | 2003 |
| Reduction monads and their signatures B Ahrens, A Hirschowitz, A Lafont, M Maggesi Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 11 | 2019 |
| On the quantum cohomology of Fano bundles over projective spaces V Ancona, M Maggesi arXiv preprint math/0012046, 2000 | 11 | 2000 |
| Initial semantics for strengthened signatures A Hirschowitz, M Maggesi arXiv preprint arXiv:1202.3499, 2012 | 10 | 2012 |
| Variable binding and substitution for (nameless) dummies A Hirschowitz, T Hirschowitz, A Lafont, M Maggesi International Conference on Foundations of Software Science and Computation …, 2022 | 9 | 2022 |
| A formal proof of modal completeness for provability logic M Maggesi, CP Brogi arXiv preprint arXiv:2102.05945, 2021 | 9 | 2021 |
| Formalizing basic quaternionic analysis A Gabrielli, M Maggesi Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 7 | 2017 |
| Universal algebra in UniMath G Amato, M Calosci, M Maggesi, CP Brogi Mathematical Structures in Computer Science 34 (8), 869-891, 2024 | 5 | 2024 |
| The algebraicity of the lambda-calculus A Hirschowitz, M Maggesi arXiv preprint math/0607427, 2007 | 5 | 2007 |
| is singular M Maggesi De Gruyter 8 (Jahresband), 397-400, 1996 | 5 | 1996 |
| Mechanising Gödel–Löb Provability Logic in HOL Light M Maggesi, C Perini Brogi Journal of Automated Reasoning 67 (3), 29, 2023 | 4 | 2023 |
| Higher-order theories A Hirschowitz, M Maggesi arXiv preprint arXiv:0704.2900, 2007 | 4 | 2007 |
| Presentable signatures and initial semantics B Ahrens, A Hirschowitz, A Lafont, M Maggesi Logical Methods in Computer Science 17, 2021 | 3 | 2021 |
Benedikt AhrensDelft University of TechnologyVerified email at tudelft.nl
