| Publication | Date of Publication | Type |
|---|
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?)
| 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?)
| 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559271 (Why is no real title available?)
| 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 |
scientific article; zbMATH DE number 7379288 (Why is no real title available?)
| 2021-08-05 | Paper |
Initial semantics for strengthened signatures
| 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
| 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
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?)
| 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?)
| 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
| N/A | Paper |
Universal Algebra in UniMath
| N/A | Paper |
