Marco Maggesi

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 22

Top Topics

Logic Programming

Top Venues

Log. Methods Comput. Sci.

Publications

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. Log. Methods Comput. Sci. 20 (1) (2024)
Marco Maggesi, Cosimo Perini Brogi
Mechanising Gödel-Löb Provability Logic in HOL Light. J. Autom. Reason. 67 (3) (2023)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. CoRR (2022)
Marco Maggesi, Cosimo Perini Brogi
A theorem prover and countermodel constructor for provability logic in HOL Light. CoRR (2022)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
Variable binding and substitution for (nameless) dummies. FoSSaCS (2022)
Marco Maggesi, Cosimo Perini Brogi
A Formal Proof of Modal Completeness for Provability Logic. ITP (2021)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Presentable signatures and initial semantics. Log. Methods Comput. Sci. 17 (2) (2021)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
Bicategories in univalent foundations. Math. Struct. Comput. Sci. 31 (10) (2021)
Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi
Universal Algebra in UniMath. CoRR (2021)
Marco Maggesi, Cosimo Perini Brogi
A formal proof of modal completeness for provability logic. CoRR (2021)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Reduction monads and their signatures. Proc. ACM Program. Lang. 4 (POPL) (2020)
Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi
Universal Algebra in UniMath. CoRR (2020)
Marco Maggesi, Massimo Nocentini
Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System. CoRR (2020)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Modular Specification of Monads Through Higher-Order Presentations. FSCD (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Reduction Monads and Their Signatures. CoRR (2019)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. FSCD (2019)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. CoRR (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Modular specification of monads through higher-order presentations. CoRR (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
High-level signatures and initial semantics. CoRR (2018)
Marco Maggesi
A Formalization of Metric Spaces in HOL Light. J. Autom. Reason. 60 (2) (2018)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
High-Level Signatures and Initial Semantics. CSL (2018)
Andrea Gabrielli, Marco Maggesi
Formalizing Basic Quaternionic Analysis. ITP (2017)
André Hirschowitz, Marco Maggesi
Initial Semantics for Strengthened Signatures FICS (2012)
André Hirschowitz, Marco Maggesi
Nested Abstract Syntax in Coq. J. Autom. Reason. 49 (3) (2012)
Gianni Ciolli, Graziano Gentili, Marco Maggesi
A Certified Proof of the Cartan Fixed Point Theorems. J. Autom. Reason. 47 (3) (2011)
André Hirschowitz, Marco Maggesi
Modules over monads and initial semantics. Inf. Comput. 208 (5) (2010)
André Hirschowitz, Marco Maggesi
Modules over Monads and Linearity. WoLLIC (2007)
André Hirschowitz, Marco Maggesi
The algebraicity of the lambda-calculus CoRR (2007)
André Hirschowitz, Marco Maggesi
Modules over Monads and Linearity CoRR (2006)