@misc{indiciae4e8dafc65d1f,
  title = {On the cut-elimination of the modal \$μ\$-calculus: Linear Logic to the rescue},
  author = {Esaïe Bauer and Alexis Saurin},
  year = {2025},
  url = {https://arxiv.org/abs/2506.09791},
  note = {Source identifier: 2506.09791}
}