@misc{indiciaee354a9a7da19,
  title = {The behavior of higher proof theory I: Case \$Σ\textasciicircum{}1\_2\$},
  author = {Hanul Jeon},
  year = {2026},
  url = {https://arxiv.org/abs/2406.03801},
  note = {Source identifier: 2406.03801}
}