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. In TLCA, pp. 48–60, LNCS 7941, Springer, 2013.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{benton13tlca,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Proof-Relevant Logical Relations for Name Generation},
  booktitle = {TLCA},
  year      = {2013},
  pages     = {48-60},
  ee        = {http://dx.doi.org/10.1007/978-3-642-38946-7_6},
  editor    = {Masahito Hasegawa},
  booktitle = {TLCA},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {7941},
  year      = {2013},
  isbn      = {978-3-642-38945-0, 978-3-642-38946-7},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Denotational Semantics},
  bib2html_dl_pdf = "/docs/pr-name.pdf"
 }

Generated by bib2html.pl (written by Patrick Riley ) on Wed Mar 01, 2017 14:31:37