@misc{indiciae99be847dd96d,
  title = {On the Various Translations between Classical, Intuitionistic and Linear Logic},
  author = {Gilda Ferreira and Paulo Oliva and Clarence Lewis Protin},
  year = {2025},
  url = {https://arxiv.org/abs/2409.02249},
  note = {Source identifier: 2409.02249}
}