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.


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




  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       = {},
  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 (written by Patrick Riley ) on Wed Dec 15, 2021 15:29:22