@misc{indiciaef65e5569adac,
  title = {A uniform cut-elimination theorem for linear logics with fixed points and super exponentials},
  author = {Esaïe Bauer and Alexis Saurin},
  year = {2025},
  url = {https://arxiv.org/abs/2506.14327},
  note = {Source identifier: 2506.14327}
}