Vivek Nigam's Publications

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

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