TY  - RPRT
TI  - Global Choice without Excluded Middle in Dependent Type Theory
AU  - Sewon Park
PY  - 2026
UR  - https://arxiv.org/abs/2610.37498
ID  - 2610.37498
ER  -