TY  - RPRT
TI  - Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
AU  - Gianluca Curzi
AU  - Graham E. Leigh
PY  - 2026
UR  - https://arxiv.org/abs/2602.01299
ID  - 2602.01299
ER  -