Saraiva, Lorenzo, Edward Hermann Haeusler, and Vaston Costa.
" Quantum Algorithm for Multiplicative Linear Logic." <em>Anais do IV Workshop Brasileiro de Lógica,
João Pessoa/PB, 2023</em>. SBC, 2023,  
pp.33-40.