Normalization by Evaluation for Typed Lambda Calculus with Coproducts

Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott. Normalization by Evaluation for Typed Lambda Calculus with Coproducts. In LICS. pages 303-310, 2001.

Abstract

Abstract is missing.