TY  - RPRT
TI  - Quantum Algorithm for Multiplicative Linear Logic
AU  - Lorenzo Saraiva
AU  - Edward Hermann Haeusler
AU  - Vaston Costa
PY  - 2023
UR  - https://arxiv.org/abs/2302.09169
ID  - 2302.09169
ER  -