TY  - RPRT
TI  - Elimination and cut-elimination in multiplicative linear logic
AU  - Daniel Murfet
AU  - William Troiani
PY  - 2022
UR  - https://arxiv.org/abs/2207.10871
ID  - 2207.10871
ER  -