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 Wed Jul 19, 2017 09:17:26