@misc{indiciaea7c29773e9a8,
  title = {Non-uniform complexity via non-wellfounded proofs},
  author = {Gianluca Curzi and Anupam Das},
  year = {2022},
  url = {https://arxiv.org/abs/2211.16104},
  note = {Source identifier: 2211.16104}
}