| Publication | Date of Publication | Type |
|---|
Universal algebra in UniMath
Mathematical Structures in Computer Science | 2025-02-07 | Paper |
Variable binding and substitution for (nameless) dummies
Logical Methods in Computer Science | 2024-03-11 | Paper |
Variable binding and substitution for (nameless) dummies
Lecture Notes in Computer Science | 2024-01-23 | Paper |
Mechanising Gödel-Löb provability logic in HOL light
Journal of Automated Reasoning | 2023-09-19 | Paper |
scientific article; zbMATH DE number 7699443 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-20 | Paper |
Bicategories in univalent foundations
Mathematical Structures in Computer Science | 2022-12-09 | Paper |
scientific article; zbMATH DE number 7559272 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559271 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| High-level signatures and initial semantics | 2022-05-28 | Paper |
Mechanising G\"odel-L\"ob provability logic in HOL Light
(available as arXiv preprint) | 2022-05-07 | Paper |
scientific article; zbMATH DE number 7379288 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-05 | Paper |
| Initial semantics for strengthened signatures | 2021-03-17 | Paper |
Initial semantics for strengthened signatures
(available as arXiv preprint) | 2021-03-17 | Paper |
Extension and tangential CRF conditions in quaternionic analysis
Annali di Matematica Pura ed Applicata. Serie Quarta | 2020-11-08 | Paper |
Some elementary remarks on lci algebraic cycles
(available as arXiv preprint) | 2019-05-16 | Paper |
Bicategories in Univalent Foundations
(available as arXiv preprint) | 2019-03-04 | Paper |
Modular specification of monads through higher-order presentations
(available as arXiv preprint) | 2019-03-03 | Paper |
A formalization of metric spaces in HOL Light
Journal of Automated Reasoning | 2018-02-02 | Paper |
| Formalizing basic quaternionic analysis | 2018-01-04 | Paper |
Nested abstract syntax in Coq
Journal of Automated Reasoning | 2013-04-17 | Paper |
A certified proof of the Cartan fixed point theorems
Journal of Automated Reasoning | 2012-07-31 | Paper |
| Computer verification of mathematical reasoning | 2010-09-26 | Paper |
Modules over monads and initial semantics
Information and Computation | 2010-04-22 | Paper |
Modules over Monads and Linearity
Logic, Language, Information and Computation | 2009-03-10 | Paper |
scientific article; zbMATH DE number 5211181 (Why is no real title available?)
(available as arXiv preprint) | 2007-11-13 | Paper |
| scientific article; zbMATH DE number 5211181 (Why is no real title available?) | 2007-11-13 | Paper |
On the Quantum Cohomology of Some Fano Threefolds
advg | 2005-03-30 | Paper |
scientific article; zbMATH DE number 2135183 (Why is no real title available?)
(available as arXiv preprint) | 2005-02-18 | Paper |
is singular
Forum Mathematicum | 1996-07-16 | Paper |
On the quantum cohomology of blow-ups of projective spaces along linear subspaces
(available as arXiv preprint) | N/A | Paper |
Universal Algebra in UniMath
(available as arXiv preprint) | N/A | Paper |
