Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott. Normalization by Evaluation for Typed Lambda Calculus with Coproducts. In LICS. pages 303-310, 2001.
@inproceedings{AltenkirchDHS01,
title = {Normalization by Evaluation for Typed Lambda Calculus with Coproducts},
author = {Thorsten Altenkirch and Peter Dybjer and Martin Hofmann and Philip J. Scott},
year = {2001},
researchr = {https://researchr.org/publication/AltenkirchDHS01},
cites = {0},
citedby = {0},
pages = {303-310},
booktitle = {LICS},
}