@misc{indiciae4a1865e2e5ad,
  title = {Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm},
  author = {Gianluca Curzi and Graham E. Leigh},
  year = {2026},
  url = {https://arxiv.org/abs/2602.01299},
  note = {Source identifier: 2602.01299}
}