Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Mechanizing Focused Linear Logic in Coq

Bruno Xavier, Carlos Olarte, Giselle Reis, and Vivek Nigam. Mechanizing Focused Linear Logic in Coq. Electr. Notes Theor. Comput. Sci., 338:219–236, 2018.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@article{xavier18entcs,
  author    = {Bruno Xavier and
               Carlos Olarte and
               Giselle Reis and
               Vivek Nigam},
  title     = {Mechanizing Focused Linear Logic in Coq},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {338},
  pages     = {219--236},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.entcs.2018.10.014},
  doi       = {10.1016/j.entcs.2018.10.014},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/lsfa17.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Tue Nov 20, 2018 10:45:39