Normalization by evaluation for the computational lambda-calculus (2001)

by Andrzej Filinski
Venue:Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, number 2044 in Lecture Notes in Computer Science