Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Specifying Proof Systems in Linear Logic with Subexponentials

Vivek Nigam, Elaine Pimentel, and Giselle Reis. Specifying Proof Systems in Linear Logic with Subexponentials. Electr. Notes Theor. Comput. Sci., 269:109–123, 2011. In LSFA

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@Article{ nigam11lsfa,
	title = "Specifying Proof Systems in Linear Logic with Subexponentials",
	author = "Vivek Nigam and Elaine Pimentel and Giselle Reis",
	journal = "Electr. Notes Theor. Comput. Sci.",
	pages = "109--123",
	volume = "269",
	year = "2011",
	ee = "http://dx.doi.org/10.1016/j.entcs.2011.03.009",
	note = "In LSFA",
    bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Logical Frameworks},
	bib2html_dl_pdf = "/docs/sellf-LF.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Fri Oct 26, 2018 12:17:07