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/Q5089004	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089005	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	0001-01-03	Paper
Universal Algebra in UniMath	0001-01-03	Paper
"Mechanising G\""odel-L\""ob provability logic in HOL Light"	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Maggesi