AltenkirchDHS01'

BibTeX

@inproceedings{DBLP:conf/lics/AltenkirchDHS01,
  author    = {Thorsten Altenkirch and
               Peter Dybjer and
               Martin Hofmann and
               Philip J. Scott},
  title     = {Normalization by Evaluation for Typed Lambda Calculus with
               Coproducts},
  booktitle = {LICS},
  year      = {2001},
  pages     = {303-310},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}