Folgen
Marco Maggesi
Marco Maggesi
Bestätigte E-Mail-Adresse bei unifi.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Modules over monads and initial semantics
A Hirschowitz, M Maggesi
Information and Computation 208 (5), 545-564, 2010
452010
Modules over monads and linearity
A Hirschowitz, M Maggesi
Logic, Language, Information and Computation: 14th International Workshop …, 2007
442007
Bicategories in univalent foundations
B Ahrens, D Frumin, M Maggesi, N Veltri, N Van Der Weide
Mathematical Structures in Computer Science 31 (10), 1232-1269, 2021
322021
Nested abstract syntax in Coq
A Hirschowitz, M Maggesi
Journal of Automated Reasoning 49, 409-426, 2012
192012
A formalization of metric spaces in HOL Light
M Maggesi
Journal of Automated Reasoning 60 (2), 237-254, 2018
182018
Modular specification of monads through higher-order presentations
B Ahrens, A Hirschowitz, A Lafont, M Maggesi
arXiv preprint arXiv:1903.00922, 2019
142019
High-level signatures and initial semantics
B Ahrens, A Hirschowitz, A Lafont, M Maggesi
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 119, 1-22, 2018
122018
Minimal resolution of general stable vector bundles on P2
C Dionisi, M Maggesi
arXiv preprint math/0002169, 2003
112003
On the quantum cohomology of Fano bundles over projective spaces
V Ancona, M Maggesi
arXiv preprint math/0012046, 2000
112000
Initial semantics for strengthened signatures
A Hirschowitz, M Maggesi
arXiv preprint arXiv:1202.3499, 2012
102012
Reduction monads and their signatures
B Ahrens, A Hirschowitz, A Lafont, M Maggesi
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
82019
Variable binding and substitution for (nameless) dummies
A Hirschowitz, T Hirschowitz, A Lafont, M Maggesi
International Conference on Foundations of Software Science and Computation …, 2022
62022
The algebraicity of the lambda-calculus
A Hirschowitz, M Maggesi
arXiv preprint math/0607427, 2007
62007
Universal algebra in unimath
G Amato, M Maggesi, CP Brogi
arXiv preprint arXiv:2102.05952, 2021
52021
is singular
M Maggesi
Walter de Gruyter, Berlin/New York 8 (Jahresband), 397-400, 1996
51996
A formal proof of modal completeness for provability logic
M Maggesi, CP Brogi
arXiv preprint arXiv:2102.05945, 2021
42021
Formalizing basic quaternionic analysis
A Gabrielli, M Maggesi
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
42017
Higher-order theories
A Hirschowitz, M Maggesi
arXiv preprint arXiv:0704.2900, 2007
42007
Some results on holomorphic vector bundles over projective spaces
M Maggesi
Tesi di Dottorato, Università di Firenze, 1999
41999
On the quantum cohomology of some Fano threefolds
V Ancona, M Maggesi
Walter de Gruyter 5 (1), 49-70, 2005
32005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20