Concepedia

Anthony Bordg

AB

2

Publications

34

Citations

2

H-Index

2020

Active since

Affiliations

University of Cambridge(Current)

Anthony Bordg is an author at University of Cambridge.

Publications per year

2020–2022

2

Publications

2

Certified Quantum Computation in Isabelle/HOL

Anthony Bordg, Hanna Lachnitt, Yijun He · Journal of Automated Reasoning · 2020 · 23 citations · Full text

Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types

Anthony Bordg, Lawrence C. Paulson, Wenda Li · Experimental Mathematics · 2022 · 11 citations · Full text

Rows per page

1–2 of 2