@misc{indiciae208435c6c013,
  title = {A proof theory of (omega-)context-free languages, via non-wellfounded proofs},
  author = {Anupam Das and Abhishek De},
  year = {2024},
  url = {https://arxiv.org/abs/2404.16231},
  note = {Source identifier: 2404.16231}
}