Mechanizing Focused Linear Logic in Coq. Xavier, B., Olarte, C., Reis, G., & Nigam, V. Electronic Notes in Theoretical Computer Science, 338:219 – 236, 2018.
Mechanizing Focused Linear Logic in Coq [link]Paper  doi  bibtex   
@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}
}

Downloads: 0