TY  - RPRT
TI  - Conservativity of Type Theory over Higher-order Arithmetic
AU  - Benno van den Berg
AU  - Daniël Otten
PY  - 2023
UR  - https://arxiv.org/abs/2308.15288
ID  - 2308.15288
ER  -