Saraiva, L., 		Haeusler, E., & 		Costa, V.
2023 ago  6.  Quantum Algorithm for Multiplicative Linear Logic. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :