@misc{indiciaed3888d7b4b7c,
  title = {Higher-Order Functions and Brouwer's Thesis},
  author = {Jonathan Sterling},
  year = {2021},
  doi = {10.1017/s0956796821000095},
  url = {https://arxiv.org/abs/1608.03814},
  note = {Source identifier: 1608.03814}
}