F.: Operational aspects of untyped normalization by evaluation (0)

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