TY  - RPRT
TI  - Extensional constructive real analysis via locators
AU  - Auke B. Booij
PY  - 2020
DO  - 10.1017/s0960129520000171
UR  - https://arxiv.org/abs/1805.06781
ID  - 1805.06781
ER  -