TY  - RPRT
TI  - Should Type Theory replace Set Theory as the Foundation of Mathematics
AU  - Thorsten Altenkirch
PY  - 2023
UR  - https://arxiv.org/abs/2111.06368
ID  - 2111.06368
ER  -