@incollection{filinsky:henning:04,
    Author = {Filinski, Andrzej and Korsholm Rohde, Henning},
    BookTitle = {Foundations of Software Science and Computation Structures},
    Editor = {Walukiewicz, Igor},
    File = {A Denotational Account of Untyped Normalization by Evaluation - Filinski, Korsholm Rohde (0) (0) - a - a - s.pdf},
    ISBN = {978-3-540-21298-0},
    Keywords = {normalization by evaluation},
    Pages = {167-181},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {A Denotational Account of Untyped Normalization by Evaluation},
    URL = {http://dx.doi.org/10.1007/978-3-540-24727-2\_13},
    Volume = {2987},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24727-2\_13},
    date-added = {2013-06-10 08:35:42 +0000},
    date-modified = {2013-06-10 08:36:12 +0000},
    file-2 = {A Denotational Account of Untyped Normalization by Evaluation - Filinski, Korsholm Rohde (1) (0) - a - a - s.pdf},
    doi = {10.1007/978-3-540-24727-2_13}
}

@incollection{filinsky:henning:04, Author = {Filinski, Andrzej and Korsholm Rohde, Henning}, BookTitle = {Foundations of Software Science and Computation Structures}, Editor = {Walukiewicz, Igor}, File = {A Denotational Account of Untyped Normalization by Evaluation - Filinski, Korsholm Rohde (0) (0) - a - a - s.pdf}, ISBN = {978-3-540-21298-0}, Keywords = {normalization by evaluation}, Pages = {167-181}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {A Denotational Account of Untyped Normalization by Evaluation}, URL = {http://dx.doi.org/10.1007/978-3-540-24727-2_13}, Volume = {2987}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24727-2_13}, date-added = {2013-06-10 08:35:42 +0000}, date-modified = {2013-06-10 08:36:12 +0000}, file-2 = {A Denotational Account of Untyped Normalization by Evaluation - Filinski, Korsholm Rohde (1) (0) - a - a - s.pdf}, doi = {10.1007/978-3-540-24727-2_13} }