Anthony Bordg

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 15

Top Topics

Differential Geometry

Quantum Computation

Simple Examples

Top Venues

Arch. Formal Proofs

Appl. Categorical Struct.

Publications

Anthony Bordg, Adrián Doña Mateo
Strict Omega Categories. Arch. Formal Proofs 2023 (2023)
Anthony Bordg, Adrián Doña Mateo
Encoding Dependently-Typed Constructions into Simple Type Theory. CPP (2023)
Anthony Bordg, Lawrence C. Paulson, Wenda Li
Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types. Exp. Math. 31 (2) (2022)
Anthony Bordg, Hanna Lachnitt, Yijun He
Certified Quantum Computation in Isabelle/HOL. J. Autom. Reason. 65 (5) (2021)
Anthony Bordg, Nicolò Cavalleri
Elements of Differential Geometry in Lean: A Report for Mathematicians. CoRR (2021)
Anthony Bordg, Lawrence C. Paulson, Wenda Li
Grothendieck's Schemes in Algebraic Geometry. Arch. Formal Proofs 2021 (2021)
Anthony Bordg, Nicolò Cavalleri
Elements of Differential Geometry in Lean: A Report for Mathematicians (short paper). CICM Workshops (2021)
Anthony Bordg, Lawrence C. Paulson, Wenda Li
Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types. CoRR (2021)
Anthony Bordg, Hanna Lachnitt, Yijun He
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information. Arch. Formal Proofs 2020 (2020)
Anthony Bordg, Hanna Lachnitt, Yijun He
Certified Quantum Computation in Isabelle/HOL. CoRR (2020)
Anthony Bordg, Yijun He
Comment on "Quantum Games and Quantum Strategies". CoRR (2019)
Anthony Bordg
On a Model Invariance Problem in Homotopy Type Theory. Appl. Categorical Struct. 27 (3) (2019)
Anthony Bordg
The Localization of a Commutative Ring. Arch. Formal Proofs 2018 (2018)
Anthony Bordg
Projective Geometry. Arch. Formal Proofs 2018 (2018)
Anthony Bordg
Univalent Foundations and the UniMath Library. CoRR (2017)