TY  - RPRT
TI  - Revisiting the conservativity of fixpoints over intuitionistic arithmetic
AU  - Mattias Granberg Olsson
AU  - Graham E. Leigh
PY  - 2021
UR  - https://arxiv.org/abs/2110.08240
ID  - 2110.08240
ER  -