TY  - RPRT
TI  - Multiplicative linear logic from a resolution-based tile system
AU  - Boris Eng
AU  - Thomas Seiller
PY  - 2022
UR  - https://arxiv.org/abs/2207.08465
ID  - 2207.08465
ER  -