MAGGESI, MARCO
MAGGESI, MARCO
Matematica e Informatica 'Ulisse Dini'
A certified proof of the Cartan Fixed Point Theorems
2011 Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco
A formal proof of modal completeness for provability logic
2021 Marco Maggesi; Cosimo Perini Brogi
A formalisation of metric spaces in HOL Light
2015 Marco, Maggesi
A Formalization of Metric Spaces in HOL Light
2018 Marco Maggesi
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS
2025 Bilotta A.; Maggesi M.; Perini Brogi C.
A symbolic approach to abstract algebra in HOL Light
2015 Marco, Maggesi
Analysing Collective Adaptive Systems by Proving Theorems
2025 Perini Brogi, Cosimo; Maggesi, Marco
Bicategories in univalent foundations
2022 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
Bicategories in Univalent Foundations
2019 Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide
Blockchain, criptovalute e contratti intelligenti
2023 Marco Maggesi; Gianni Ciolli
Displayed Universal Algebra in UniMath: Basic Definitions and Results
2025 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi
Extension and tangential CRF conditions in quaternionic analysis
2020 Marco Maggesi, Donato Pertici, Giuseppe Tomassini
Favorire la diffusione di WIMS in Italia
2007 Maggesi, Marco
Formalization of metric spaces in HOL Light
2014 Marco Maggesi
Formalization of Quaternionic Calculus in HOL Light
2014 Marco Maggesi
Formalizing basic quaternionic analysis
2017 Andrea Gabrielli; Marco Maggesi
Growing HOLMS, a HOL Light Library for Modal Systems
2024 Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini
High-level signatures and initial semantics
2018 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Higher-order theories
2007 André, Hirschowitz; Marco, Maggesi
Information technology implications for mathematics: a view from the French riviera
2004 Marco, Maggesi; Carlos, Simpson