@misc{indiciae7a786c8d7a1b,
  title = {Parametric Church's Thesis: Synthetic Computability without Choice},
  author = {Yannick Forster},
  year = {2021},
  doi = {10.1007/978-3-030-93100-1\_6},
  url = {https://arxiv.org/abs/2112.11781},
  note = {Source identifier: 2112.11781}
}