A Denotational Account of Untyped Normalization by Evaluation.

Andrzej Filinski, Henning Korsholm Rohde

Browse the full FOSSACS paper archive.