Operational aspects of untyped normalization by evaluation (2004)

by Klaus Aehlig, Felix Joachimski
Venue:Mathematical Structures in Computer Science