TY  - RPRT
TI  - On the logical structure of choice and bar induction principles
AU  - Nuria Brede
AU  - Hugo Herbelin
PY  - 2026
UR  - https://arxiv.org/abs/2105.08951
ID  - 2105.08951
ER  -