Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract)

Vivek Nigam, Giselle Reis, and Leonardo Lima. Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract). In Brazilian Logic Conference, 2014.

Download

[PDF] 

Abstract

(unavailable)

@inproceedings{nigam14ebl,
  author    = {Vivek Nigam 
               and Giselle Reis and Leonardo Lima},
  title     = {Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract)},
     booktitle      = {Brazilian Logic Conference},
	 year = "2014",
     bib2html_pubtype = {Unrefereed Collection},
     bib2html_rescat = {Logical Frameworks},
	 bib2html_dl_pdf = "/docs/ebl14.pdf"
 }

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