%0 Conference Paper %1 conf/fossacs/FilinskiR04 %A Filinski, Andrzej %A Rohde, Henning Korsholm %B FoSSaCS %D 2004 %E Walukiewicz, Igor %I Springer %K dblp %P 167-181 %T A Denotational Account of Untyped Normalization by Evaluation. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2004.html#FilinskiR04 %V 2987 %@ 3-540-21298-1

@inproceedings{conf/fossacs/FilinskiR04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Filinski, Andrzej and Rohde, Henning Korsholm}, biburl = {https://www.bibsonomy.org/bibtex/238222ba5d5904eb91f6f084ea9ee12c0/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2004}, editor = {Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-540-24727-2_13}, interhash = {23ac503b58cff5b08c9521e58bd459be}, intrahash = {38222ba5d5904eb91f6f084ea9ee12c0}, isbn = {3-540-21298-1}, keywords = {dblp}, pages = {167-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:37.000+0200}, title = {A Denotational Account of Untyped Normalization by Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2004.html#FilinskiR04}, volume = 2987, year = 2004 }