@misc{indiciae4375e4efc733,
  title = {Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic},
  author = {Matteo Acclavio and Gianluca Curzi and Giulio Guerrieri},
  year = {2025},
  url = {https://arxiv.org/abs/2308.07789},
  note = {Source identifier: 2308.07789}
}