TY  - RPRT
TI  - A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
AU  - Victor Barroso-Nascimento
AU  - Ekaterina Piotrovskaya
AU  - Elaine Pimentel
PY  - 2026
DO  - 10.46298/entics.16888
UR  - https://arxiv.org/abs/2504.08349
ID  - 2504.08349
ER  -