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

by T. Altenkirch , P. Dybjer
Venue:In LICS
Citations:39 - 5 self