Marco Maggesi

News

• Marco Maggesi, Cosimo P. Brogi (2023)
  Mechanising Gödel–Löb Provability Logic in HOL Light
  Journal of Autom Reasoning 67, 29 (2023). DOI: 10.1007/s10817-023-09677-z

• School on Univalent Mathematics
  July 17-23, 2022, Cortona, Italy

• André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, and Marco Maggesi  (2022)
  Variable binding and substitution for (nameless) dummies
  LNCS 13242, pp. 389–408, DOI: 10.1007/978-3-030-99253-8_20, HAL Id: hal-03547002

• Ahrens, B., Frumin, D., Maggesi, M., Veltri, N., & Van der Weide, N. (2022).
  Bicategories in univalent foundations
  Mathematical Structures in Computer Science

• Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi (2021)
  Presentable signatures and initial semantics
  Logical Methods in Computer Science

• Marco Maggesi, Cosimo Perini Brogi (2021)
  A formal proof of modal completeness for provability logic
  12th International Conference on Interactive Theorem Proving (ITP 2021).

• 2020-08-28 Presentation at miniKanren 2020:
  M. Maggesi, M. Nocentini
  Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
  Associated paper on arXiv.

• 2020-07-07 Presentation at HoTT/UF 2020:
  G. Amato, M. Maggesi, M. Parton, C. Perini Brogi
  Universal Algebra in UniMath
  Associated paper on arXiv.

• New paper:
  M. Maggesi, D. Pertici, G. Tomassini (2020)
  Extension and Tangential CRF Conditions in Quaternionic Analysis
  Annali di Matematica Pura ed Applicata. (Springer, SharedIt, arXiv, AAM)

• New paper
  B, Ahrens, A. Hirschowitz, A. Lafont, M. Maggesi (2019)
  Reduction Monads and Their Signatures, POPL 2020 (Open access)