TY  - RPRT
TI  - Proof Nets for PiL (Full Version)
AU  - Matteo Acclavio
AU  - Giulia Manara
PY  - 2026
UR  - https://arxiv.org/abs/2605.14476
ID  - 2605.14476
ER  -