Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Algorithmic specifications in linear logic with subexponentials

Vivek Nigam and Dale Miller. Algorithmic specifications in linear logic with subexponentials. In PPDP, pp. 129–140, ACM, 2009.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{ nigam09ppdp,
	author = "Vivek Nigam and Dale Miller",
	title = "Algorithmic specifications in linear logic with subexponentials",
	pages = "129--140",
	booktitle = "PPDP",
	publisher = "ACM",
	year = "2009",
	isbn = "978-1-60558-568-0",
	year1 = "2009",
	editor = "Ant{\'o}nio Porto and Francisco Javier L{\'o}pez-Fraguas",
	title1 = "Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal",
    bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Logical Frameworks},
	bib2html_dl_pdf = "/docs/ppdp11-nigam.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Mar 01, 2017 14:31:37