Marco Maggesi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Universal Algebra in UniMath.
CoRR, 2021

A formal proof of modal completeness for provability logic.
CoRR, 2021

2020
Reduction monads and their signatures.
Proc. ACM Program. Lang., 2020

Universal Algebra in UniMath.
CoRR, 2020

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

2019
Modular Specification of Monads Through Higher-Order Presentations.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Bicategories in Univalent Foundations.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018
A Formalization of Metric Spaces in HOL Light.
J. Autom. Reason., 2018

High-Level Signatures and Initial Semantics.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017
Formalizing Basic Quaternionic Analysis.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2012
Nested Abstract Syntax in Coq.
J. Autom. Reason., 2012

Initial Semantics for Strengthened Signatures
Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

2011
A Certified Proof of the Cartan Fixed Point Theorems.
J. Autom. Reason., 2011

2010
Modules over monads and initial semantics.
Inf. Comput., 2010

2007
The algebraicity of the lambda-calculus
CoRR, 2007

Modules over Monads and Linearity.
Proceedings of the Logic, 2007


  Loading...