Anthony Bordg
From MaRDI portal
Person:2154144
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Univalent Foundations and the UniMath Library Synthese Library | 2023-09-20 | Paper |
| Simple type theory is not too simple: Grothendieck's schemes without dependent types Experimental Mathematics | 2022-08-03 | Paper |
| A replication crisis in mathematics? The Mathematical Intelligencer | 2022-07-14 | Paper |
| The Interpretation Lifting Theorem for C-Systems | 2022-02-01 | Paper |
| The Interpretation Lifting Theorem for C-Systems (available as arXiv preprint) | 2022-02-01 | Paper |
| Certified quantum computation in Isabelle/HOL Journal of Automated Reasoning | 2021-11-23 | Paper |
| Elements of Differential Geometry in Lean: A Report for Mathematicians | 2021-08-01 | Paper |
| On a model invariance problem in homotopy type theory Applied Categorical Structures | 2019-06-20 | Paper |
| On the Inadequacy of the Projective Structure with Respect to the Univalence Axiom | 2017-12-06 | Paper |
| On lifting univalence to the equivariant setting | 2015-12-13 | Paper |
Research outcomes over time
This page was built for person: Anthony Bordg
