Helmut Schwichtenberg. Normalization by evaluation (1998)

by Ulrich Berger, Matthias Eberl
Venue:Prospects for hardware foundations (NADA), number 1546 in Lecture Notes in Computer Science