Operational aspects of untyped normalization by evaluation (2004)

by Klaus Aehlig, Felix Joachimski
Venue:Math. Struct. in Comput. Sci