%0 Journal Article
%A Filinski, Andrzej
%A Rohde, Henning Korsholm
%T Denotational aspects of untyped normalization by evaluation
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2005
%P 423-453
%V 39
%N 3
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2005026/
%R 10.1051/ita:2005026
%G en
%F ITA_2005__39_3_423_0