@inproceedings{151645,
    Author = {Berger, U. and Schwichtenberg, H.},
    BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on},
    File = {An inverse of the evaluation functional for typed lambda-calculus - Berger, Schwichtenberg (1) (0) - a - a - i.pdf},
    Keywords = {normalization by evaluation and reading},
    Pages = {203-211},
    Title = {An inverse of the evaluation functional for typed lambda-calculus},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151645},
    date-added = {2013-06-10 08:36:43 +0000},
    date-modified = {2017-04-30 17:25:13 +0000},
    file-2 = {An inverse of the evaluation functional for typed lambda-calculus - Berger, Schwichtenberg (0) (0) - a - a - i.pdf},
    doi = {10.1109/LICS.1991.151645}
}

@inproceedings{151645, Author = {Berger, U. and Schwichtenberg, H.}, BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on}, File = {An inverse of the evaluation functional for typed lambda-calculus - Berger, Schwichtenberg (1) (0) - a - a - i.pdf}, Keywords = {normalization by evaluation and reading}, Pages = {203-211}, Title = {An inverse of the evaluation functional for typed lambda-calculus}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151645}, date-added = {2013-06-10 08:36:43 +0000}, date-modified = {2017-04-30 17:25:13 +0000}, file-2 = {An inverse of the evaluation functional for typed lambda-calculus - Berger, Schwichtenberg (0) (0) - a - a - i.pdf}, doi = {10.1109/LICS.1991.151645} }