Saraiva, Lorenzo, 		Haeusler, Edward, E 		Costa, Vaston.
" Quantum Algorithm for Multiplicative Linear Logic" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (6 agosto 2023)