Normalization by evaluation for typed lambda calculus with coproducts (2001)

by T. Altenkirch , P. Dybjer
Venue:In LICS
Citations:46 - 6 self