![]() |
@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}
}
Copyright © 2005-11-22 by Michael Ley (ley@uni-trier.de)