@article{xavier_mechanizing_2018,
	title = {Mechanizing {Focused} {Linear} {Logic} in {Coq}},
	volume = {338},
	issn = {1571-0661},
	url = {http://www.sciencedirect.com/science/article/pii/S157106611830080X},
	doi = {10/gf8t74},
	journal = {Electronic Notes in Theoretical Computer Science},
	author = {Xavier, Bruno and Olarte, Carlos and Reis, Giselle and Nigam, Vivek},
	year = {2018},
	keywords = {Coq, focusing, linear logic},
	pages = {219 -- 236}
}

{"_id":"BEkESFxuxRwGyQzcR","bibbaseid":"xavier-olarte-reis-nigam-mechanizingfocusedlinearlogicincoq-2018","authorIDs":[],"author_short":["Xavier, B.","Olarte, C.","Reis, G.","Nigam, V."],"bibdata":{"bibtype":"article","type":"article","title":"Mechanizing Focused Linear Logic in Coq","volume":"338","issn":"1571-0661","url":"http://www.sciencedirect.com/science/article/pii/S157106611830080X","doi":"10/gf8t74","journal":"Electronic Notes in Theoretical Computer Science","author":[{"propositions":[],"lastnames":["Xavier"],"firstnames":["Bruno"],"suffixes":[]},{"propositions":[],"lastnames":["Olarte"],"firstnames":["Carlos"],"suffixes":[]},{"propositions":[],"lastnames":["Reis"],"firstnames":["Giselle"],"suffixes":[]},{"propositions":[],"lastnames":["Nigam"],"firstnames":["Vivek"],"suffixes":[]}],"year":"2018","keywords":"Coq, focusing, linear logic","pages":"219 – 236","bibtex":"@article{xavier_mechanizing_2018,\n\ttitle = {Mechanizing {Focused} {Linear} {Logic} in {Coq}},\n\tvolume = {338},\n\tissn = {1571-0661},\n\turl = {http://www.sciencedirect.com/science/article/pii/S157106611830080X},\n\tdoi = {10/gf8t74},\n\tjournal = {Electronic Notes in Theoretical Computer Science},\n\tauthor = {Xavier, Bruno and Olarte, Carlos and Reis, Giselle and Nigam, Vivek},\n\tyear = {2018},\n\tkeywords = {Coq, focusing, linear logic},\n\tpages = {219 -- 236}\n}\n\n","author_short":["Xavier, B.","Olarte, C.","Reis, G.","Nigam, V."],"key":"xavier_mechanizing_2018","id":"xavier_mechanizing_2018","bibbaseid":"xavier-olarte-reis-nigam-mechanizingfocusedlinearlogicincoq-2018","role":"author","urls":{"Paper":"http://www.sciencedirect.com/science/article/pii/S157106611830080X"},"keyword":["Coq","focusing","linear logic"],"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.599Z","downloads":0,"keywords":["coq","focusing","linear logic"],"search_terms":["mechanizing","focused","linear","logic","coq","xavier","olarte","reis","nigam"],"title":"Mechanizing Focused Linear Logic in Coq","year":2018,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}