TY  - RPRT
TI  - On the role of connectivity in Linear Logic proofs
AU  - Raffaele Di Donna
AU  - Lorenzo Tortora de Falco
PY  - 2026
UR  - https://arxiv.org/abs/2506.21678
ID  - 2506.21678
ER  -