TY  - RPRT
TI  - Higher-Order Functions and Brouwer's Thesis
AU  - Jonathan Sterling
PY  - 2021
DO  - 10.1017/s0956796821000095
UR  - https://arxiv.org/abs/1608.03814
ID  - 1608.03814
ER  -