Operational aspects of untyped normalization by evaluation (2004)

by K Aehlig, F Joachimski
Venue:Mathematical Structures in Computer Science