Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Subexponentials in non-commutative linear logic

Max I. Kanovich, Stepan Kuznetsov, Vivek Nigam, and Andre Scedrov. Subexponentials in non-commutative linear logic. Mathematical Structures in Computer Science, 2018.
Part of Dale Miller's Festschrift.

Download

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

Abstract

(unavailable)

BibTeX

@article{kanovich18mscs,
  author    = {Max I. Kanovich and
               Stepan Kuznetsov and
               Vivek Nigam and
               Andre Scedrov},
  title     = {Subexponentials in non-commutative linear logic},
  journal   = {Mathematical Structures in Computer Science},
  year      = {2018},
  url       = {https://doi.org/10.1017/S0960129518000117},
  doi       = {10.1017/S0960129518000117},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Denotational Semantics},
  bib2html_dl_pdf = "/docs/dale-mscs.pdf",
  wwwnote = "Part of Dale Miller's Festschrift."
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57