@misc{indiciaec5b02bd74ff2, title = {Proof Nets for PiL (Full Version)}, author = {Matteo Acclavio and Giulia Manara}, year = {2026}, url = {https://arxiv.org/abs/2605.14476}, note = {Source identifier: 2605.14476} }