@misc{indiciae78074320ef08,
  title = {Cut-elimination for \$ω\_\{1\}\$},
  author = {Toshiyasu Arai},
  year = {2018},
  url = {https://arxiv.org/abs/1801.10025},
  note = {Source identifier: 1801.10025}
}