Xavier, BrunoVega, Carlos Alberto OlarteReis, GiselleNigam, Vivek2020-07-302020-07-302018XAVIER, Bruno; OLARTE, Carlos; REIS, Giselle; NIGAM, Vivek. Mechanizing Focused Linear Logic in Coq. Electronic Notes in Theoretical Computer Science, [S.L.], v. 338, p. 219-236, out. 2018. Disponível em: https://www.sciencedirect.com/science/article/pii/S157106611830080X?via%3Dihub. Acesso em: 29 jul. 2020. http://dx.doi.org/10.1016/j.entcs.2018.10.014.1571-0661https://repositorio.ufrn.br/jspui/handle/123456789/29755Linear logicFocusingCoqarticle10.1016/j.entcs.2018.10.014