Mechanizing focused linear logic in coq

Autores		Xavier, Bruno; Vega, Carlos Alberto Olarte; Reis, Giselle; Nigam, Vivek
Editor		Elsevier
Data		2018
Palavras-chave		Linear logic Focusing Coq
Citação		XAVIER, 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.
Resumo
URI		https://repositorio.ufrn.br/jspui/handle/123456789/29755