Anthony Bordg

Available identifiers

zbMath Open bordg.anthonyMaRDI QIDQ2154144

List of research outcomes

Publication	Date of Publication	Type
Univalent Foundations and the UniMath Library	2023-09-20	Paper
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types	2022-08-03	Paper
A replication crisis in mathematics?	2022-07-14	Paper
The Interpretation Lifting Theorem for C-Systems	2022-02-01	Paper
Certified quantum computation in Isabelle/HOL	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	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