@article{ dblp2545229,
  title = {Abstract Effects and Proof-Relevant Logical Relations},
  author = {Nick Benton and Martin Hofmann 0001 and Vivek Nigam},
  author_short = {Benton, N. and Hofmann 0001, M. and Nigam, V.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2545229},
  id = {dblp2545229},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-5692},
  url = {http://arxiv.org/abs/1212.5692},
  journal = {CoRR},
  volume = {abs/1212.5692},
  text = {CoRR abs/1212.5692 (2012)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f2c"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Benton, N.","Hofmann 0001, M.","Nigam, V."],"bibbaseid":"benton-hofmann0001-nigam-abstracteffectsandproofrelevantlogicalrelations-2012","bibdata":{"title":"Abstract Effects and Proof-Relevant Logical Relations","author":["Nick Benton","Martin Hofmann 0001","Vivek Nigam"],"author_short":["Benton, N.","Hofmann 0001, M.","Nigam, V."],"bibtype":"article","type":"article","year":"2012","key":"dblp2545229","id":"dblp2545229","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-5692","url":"http://arxiv.org/abs/1212.5692","journal":"CoRR","volume":"abs/1212.5692","text":"CoRR abs/1212.5692 (2012)","bibtex":"@article{ dblp2545229,\n title = {Abstract Effects and Proof-Relevant Logical Relations},\n author = {Nick Benton and Martin Hofmann 0001 and Vivek Nigam},\n author_short = {Benton, N. and Hofmann 0001, M. and Nigam, V.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp2545229},\n id = {dblp2545229},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-5692},\n url = {http://arxiv.org/abs/1212.5692},\n journal = {CoRR},\n volume = {abs/1212.5692},\n text = {CoRR abs/1212.5692 (2012)}\n}","bibbaseid":"benton-hofmann0001-nigam-abstracteffectsandproofrelevantlogicalrelations-2012","role":"author","urls":{"Paper":"http://arxiv.org/abs/1212.5692"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1212-5692","downloads":0,"keywords":[],"search_terms":["abstract","effects","proof","relevant","logical","relations","benton","hofmann 0001","nigam"],"title":"Abstract Effects and Proof-Relevant Logical Relations","year":2012,"dataSources":["he8twbMusKbtNoFwP"]}