Lorenzo Saraiva, Edward Haeusler, and Vaston Costa. 2023.
 Quantum Algorithm for Multiplicative Linear Logic. In <em>Anais do IV Workshop Brasileiro de Lógica</em>, agosto 06, 2023, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 33-40. DOI: <a href="https://doi.org/10.5753/wbl.2023.229335">https://doi.org/10.5753/wbl.2023.229335</a>.