TY  - RPRT
TI  - An algebraic investigation of Linear Logic
AU  - Paolo Aglianò
PY  - 2023
UR  - https://arxiv.org/abs/2305.12408
ID  - 2305.12408
ER  -