@inproceedings{altenkirch_etal_nd, series={LICS-01}, title={Normalization by evaluation for typed lambda calculus with coproducts}, url={http://dx.doi.org/10.1109/LICS.2001.932506}, DOI={10.1109/lics.2001.932506}, booktitle={Proceedings 16th Annual IEEE Symposium on Logic in Computer Science}, publisher={IEEE Comput. Soc}, author={Altenkirch, T. and Dybjer, P. and Hofmann, M. and Scott, P.}, pages={303–310}, collection={LICS-01} }