TY  - RPRT
TI  - Weihrauch goes Brouwerian
AU  - Vasco Brattka
AU  - Guido Gherardi
PY  - 2020
DO  - 10.1017/jsl.2020.76
UR  - https://arxiv.org/abs/1809.00380
ID  - 1809.00380
ER  -