@article{Aehlig200539,
    Author = {Aehlig, Klaus and Joachimski, Felix},
    File = {Continuous normalization for the lambda-calculus and Gödel’s - Aehlig, Joachimski (0) (0) - a - a - y.pdf},
    ISSN = {0168-0072},
    Journal = {Annals of Pure and Applied Logic},
    Keywords = {G{\"o}del's T},
    Note = {<ce:title>Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday</ce:title> <xocs:full-name>Ein Bogen von der Beweistheorie zur Informatik</xocs:full-name>},
    Number = {1--3},
    Pages = {39 - 71},
    Title = {Continuous normalization for the lambda-calculus and G{\"o}del's},
    URL = {http://www.sciencedirect.com/science/article/pii/S0168007204001289},
    Volume = {133},
    Year = {2005},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007204001289},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.apal.2004.10.003},
    date-added = {2014-01-16 15:46:31 +0000},
    date-modified = {2014-01-16 15:46:31 +0000},
    file-2 = {Continuous normalization for the lambda-calculus and Gödel’s - Aehlig, Joachimski (1) (0) - a - a - y.pdf},
    doi = {10.1016/j.apal.2004.10.003}
}

@article{Aehlig200539, Author = {Aehlig, Klaus and Joachimski, Felix}, File = {Continuous normalization for the lambda-calculus and Gödel’s - Aehlig, Joachimski (0) (0) - a - a - y.pdf}, ISSN = {0168-0072}, Journal = {Annals of Pure and Applied Logic}, Keywords = {G{\"o}del's T}, Note = {Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday Ein Bogen von der Beweistheorie zur Informatik}, Number = {1--3}, Pages = {39 - 71}, Title = {Continuous normalization for the lambda-calculus and G{\"o}del's}, URL = {http://www.sciencedirect.com/science/article/pii/S0168007204001289}, Volume = {133}, Year = {2005}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0168007204001289}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.apal.2004.10.003}, date-added = {2014-01-16 15:46:31 +0000}, date-modified = {2014-01-16 15:46:31 +0000}, file-2 = {Continuous normalization for the lambda-calculus and Gödel’s - Aehlig, Joachimski (1) (0) - a - a - y.pdf}, doi = {10.1016/j.apal.2004.10.003} }