Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Proof-Relevant Logical Relations for Name Generation

Nick Benton, Martin Hofmann, and Vivek Nigam. Proof-Relevant Logical Relations for Name Generation. Logical Methods in Computer Science, 14(1), 2018.
This extends our TLCA 2013 paper.


[PDF] [gzipped postscript] [postscript] [HTML] 




author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Proof-Relevant Logical Relations for Name Generation},
  journal   = {Logical Methods in Computer Science},
  volume    = {14},
  number    = {1},
  year      = {2018},
  url       = {},
  doi       = {10.23638/LMCS-14(1:25)2018},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Denotational Semantics},
  bib2html_dl_pdf = "/docs/tlca13-journal.pdf",
  wwwnote = "This extends our TLCA 2013 paper."

Generated by (written by Patrick Riley ) on Tue Nov 20, 2018 10:45:39