Marco Maggesi

According to our database, Marco Maggesi authored at least 16 papers between 2007 and 2021.

Collaborative distances:

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

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

CoRR, 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