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