Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Computational adequacy of trace-semantics

Nick Benton, Martin Hofmann, and Vivek Nigam. Computational adequacy of trace-semantics. Unpublished 2015.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@unpublished{benton15tr,
  author    = {Nick Benton and Martin Hofmann and Vivek Nigam},
  title     = {Computational adequacy of trace-semantics},
  bib2html_pubtype = {Technical Report},
    bib2html_rescat = {Denotational Semantics},
  year  = "2015",
  bib2html_dl_pdf = "/docs/adequacy.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26