TY  - RPRT
TI  - Using the internal language of toposes in algebraic geometry
AU  - Ingo Blechschmidt
PY  - 2021
UR  - https://arxiv.org/abs/2111.03685
ID  - 2111.03685
ER  -