TY  - RPRT
TI  - Partial Impredicativity in Reverse Mathematics
AU  - Henry Towsner
PY  - 2012
UR  - https://arxiv.org/abs/1106.6063
ID  - 1106.6063
ER  -