Vivek Nigam's Publications

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

Proof-Relevant Logical Relations for Name Generation

Nick Benton, Martin Hofmann, and Vivek Nigam. Proof-Relevant Logical Relations for Name Generation. Accepted to Logical Methods in Computer Science, Draft.
This extends our TLCA 2013 paper.

Download

[PDF] 

Abstract

(unavailable)

@article{benton.lmcs,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Proof-Relevant Logical Relations for Name Generation},
  journal   = {Accepted to Logical Methods in Computer Science},
  year = "Draft",
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Denotational Semantics},
  bib2html_dl_pdf = "/docs/tlca13-journal.pdf",
  wwwnote = "This extends our TLCA 2013 paper."
} 

Generated by bib2html.pl (written by Patrick Riley ) on Fri Apr 20, 2018 10:54:24