TY  - RPRT
TI  - A Foundation for Synthetic Algebraic Geometry
AU  - Felix Cherubini
AU  - Thierry Coquand
AU  - Matthias Hutzler
PY  - 2023
DO  - 10.1017/s0960129524000239
UR  - https://arxiv.org/abs/2307.00073
ID  - 2307.00073
ER  -