TY  - RPRT
TI  - Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics
AU  - Matteo Acclavio
PY  - 2017
DO  - 10.1007/s10817-018-9466-4
UR  - https://arxiv.org/abs/1702.00268
ID  - 1702.00268
ER  -