@inproceedings{ dblp4398764,
  title = {Normalization by Evaluation for Typed Lambda Calculus with Coproducts},
  author = {Thorsten Altenkirch and Peter Dybjer and Martin Hofmann 0001 and Philip J. Scott},
  author_short = {Altenkirch, T. and Dybjer, P. and Hofmann 0001, M. and Scott, P. J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2001},
  key = {dblp4398764},
  id = {dblp4398764},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lics/AltenkirchDHS01},
  url = {http://dx.doi.org/10.1109/LICS.2001.932506},
  conference = {LICS},
  pages = {303-310},
  text = {LICS 2001:303-310},
  booktitle = {Proceedings of Logic in Computer Science (LICS)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f24"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Altenkirch, T.","Dybjer, P.","Hofmann 0001, M.","Scott, P. J."],"bibbaseid":"altenkirch-dybjer-hofmann0001-scott-normalizationbyevaluationfortypedlambdacalculuswithcoproducts-2001","bibdata":{"title":"Normalization by Evaluation for Typed Lambda Calculus with Coproducts","author":["Thorsten Altenkirch","Peter Dybjer","Martin Hofmann 0001","Philip J. Scott"],"author_short":["Altenkirch, T.","Dybjer, P.","Hofmann 0001, M.","Scott, P. J."],"bibtype":"inproceedings","type":"inproceedings","year":"2001","key":"dblp4398764","id":"dblp4398764","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/AltenkirchDHS01","url":"http://dx.doi.org/10.1109/LICS.2001.932506","conference":"LICS","pages":"303-310","text":"LICS 2001:303-310","booktitle":"Proceedings of Logic in Computer Science (LICS)","bibtex":"@inproceedings{ dblp4398764,\n title = {Normalization by Evaluation for Typed Lambda Calculus with Coproducts},\n author = {Thorsten Altenkirch and Peter Dybjer and Martin Hofmann 0001 and Philip J. Scott},\n author_short = {Altenkirch, T. and Dybjer, P. and Hofmann 0001, M. and Scott, P. J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2001},\n key = {dblp4398764},\n id = {dblp4398764},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lics/AltenkirchDHS01},\n url = {http://dx.doi.org/10.1109/LICS.2001.932506},\n conference = {LICS},\n pages = {303-310},\n text = {LICS 2001:303-310},\n booktitle = {Proceedings of Logic in Computer Science (LICS)}\n}","bibbaseid":"altenkirch-dybjer-hofmann0001-scott-normalizationbyevaluationfortypedlambdacalculuswithcoproducts-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/LICS.2001.932506"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/AltenkirchDHS01","downloads":0,"keywords":[],"search_terms":["normalization","evaluation","typed","lambda","calculus","coproducts","altenkirch","dybjer","hofmann 0001","scott"],"title":"Normalization by Evaluation for Typed Lambda Calculus with Coproducts","year":2001,"dataSources":["s5ecfZ5njwLDFhxK5"]}