Marco Maggesi

According to our database, Marco Maggesi authored at least 21 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Mechanising Gödel-Löb Provability Logic in HOL Light.

Marco Maggesi, Cosimo Perini Brogi

J. Autom. Reason., September, 2023

2022

A theorem prover and countermodel constructor for provability logic in HOL Light.

Marco Maggesi, Cosimo Perini Brogi

CoRR, 2022

Variable binding and substitution for (nameless) dummies.

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Bicategories in univalent foundations.

Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide

Math. Struct. Comput. Sci., 2021

Presentable signatures and initial semantics.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Log. Methods Comput. Sci., 2021

Universal Algebra in UniMath.

Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi

CoRR, 2021

A Formal Proof of Modal Completeness for Provability Logic.

Marco Maggesi, Cosimo Perini Brogi

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Reduction monads and their signatures.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proc. ACM Program. Lang., 2020

Universal Algebra in UniMath.

Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi

CoRR, 2020

Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System.

Marco Maggesi, Massimo Nocentini

CoRR, 2020

2019

Modular Specification of Monads Through Higher-Order Presentations.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Bicategories in Univalent Foundations.

Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

A Formalization of Metric Spaces in HOL Light.

Marco Maggesi

J. Autom. Reason., 2018

High-Level Signatures and Initial Semantics.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Formalizing Basic Quaternionic Analysis.

Andrea Gabrielli, Marco Maggesi

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2012

Nested Abstract Syntax in Coq.

André Hirschowitz, Marco Maggesi

J. Autom. Reason., 2012

Initial Semantics for Strengthened Signatures

André Hirschowitz, Marco Maggesi

Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

2011

A Certified Proof of the Cartan Fixed Point Theorems.

Gianni Ciolli, Graziano Gentili, Marco Maggesi

J. Autom. Reason., 2011

2010

Modules over monads and initial semantics.

André Hirschowitz, Marco Maggesi

Inf. Comput., 2010

2007

The algebraicity of the lambda-calculus

André Hirschowitz, Marco Maggesi

CoRR, 2007

Modules over Monads and Linearity.

André Hirschowitz, Marco Maggesi

Proceedings of the Logic, 2007