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.






  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 (written by Patrick Riley ) on Wed Oct 04, 2017 09:57:18