@misc{indiciaea62dc33e12b9,
  title = {Church's thesis and related axioms in Coq's type theory},
  author = {Yannick Forster},
  year = {2020},
  doi = {10.4230/lipics.csl.2021.21},
  url = {https://arxiv.org/abs/2009.00416},
  note = {Source identifier: 2009.00416}
}