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 Mon Jan 08, 2024 13:46:57