TY  - RPRT
TI  - Church's thesis and related axioms in Coq's type theory
AU  - Yannick Forster
PY  - 2020
DO  - 10.4230/lipics.csl.2021.21
UR  - https://arxiv.org/abs/2009.00416
ID  - 2009.00416
ER  -