Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

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