Marco Maggesi

Available identifiers

zbMath Open maggesi.marcoMaRDI QIDQ438545

List of research outcomes

Publication	Date of Publication	Type
Variable binding and substitution for (nameless) dummies	2024-03-11	Paper
Variable binding and substitution for (nameless) dummies	2024-01-23	Paper
Mechanising Gödel-Löb provability logic in HOL light	2023-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q6099618	2023-06-20	Paper
Bicategories in univalent foundations	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5089005	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089004	2022-07-18	Paper
High-level signatures and initial semantics	2022-05-28	Paper
Mechanising G\"odel-L\"ob provability logic in HOL Light	2022-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q5009703	2021-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5854736	2021-03-17	Paper
Extension and tangential CRF conditions in quaternionic analysis	2020-11-08	Paper
Some elementary remarks on lci algebraic cycles	2019-05-16	Paper
Bicategories in Univalent Foundations	2019-03-04	Paper
Modular specification of monads through higher-order presentations	2019-03-03	Paper
A formalization of metric spaces in HOL Light	2018-02-02	Paper
Formalizing basic quaternionic analysis	2018-01-04	Paper
Nested abstract syntax in Coq	2013-04-17	Paper
A certified proof of the Cartan fixed point theorems	2012-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4929925	2010-09-26	Paper
Modules over monads and initial semantics	2010-04-22	Paper
Modules over Monads and Linearity	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5426833	2007-11-13	Paper
On the Quantum Cohomology of Some Fano Threefolds	2005-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4650863	2005-02-18	Paper
is singular	1996-07-16	Paper
On the quantum cohomology of blow-ups of projective spaces along linear subspaces	N/A	Paper
Universal Algebra in UniMath	N/A	Paper

Research outcomes over time

This page was built for person: Marco Maggesi