TY  - RPRT
TI  - Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types
AU  - Anthony Bordg
AU  - Lawrence Paulson
AU  - Wenda Li
PY  - 2022
DO  - 10.1080/10586458.2022.2062073
UR  - https://arxiv.org/abs/2104.09366
ID  - 2104.09366
ER  -