@article{loader,
    Author = {Loader, Ralph},
    File = {Finitary PCF is not decidable - Loader (0) (0) - a - a - x.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {lambda calculus and lambda-definability and full abstraction},
    Number = {1{\^a}€``2},
    Pages = {341 - 364},
    Title = {Finitary PCF is not decidable},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397500001948},
    Volume = {266},
    Year = {2001},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397500001948},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(00)00194-8},
    date-added = {2013-02-18 13:03:19 +0000},
    date-modified = {2013-02-18 13:06:00 +0000},
    doi = {10.1016/S0304-3975(00)00194-8}
}

@article{loader, Author = {Loader, Ralph}, File = {Finitary PCF is not decidable - Loader (0) (0) - a - a - x.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {lambda calculus and lambda-definability and full abstraction}, Number = {1{\^a}€``2}, Pages = {341 - 364}, Title = {Finitary PCF is not decidable}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397500001948}, Volume = {266}, Year = {2001}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397500001948}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(00)00194-8}, date-added = {2013-02-18 13:03:19 +0000}, date-modified = {2013-02-18 13:06:00 +0000}, doi = {10.1016/S0304-3975(00)00194-8} }