@article{10.2307/2266170,
    Author = {Church, Alonzo},
    File = {123690205ae5bbd9f8c84b1330025e8476e4 (0) - a - a - u.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Keywords = {simple type theory and classic},
    Number = {2},
    Pages = {56--68},
    Publisher = {Association for Symbolic Logic},
    Title = {A Formulation of the Simple Theory of Types},
    URL = {http://www.jstor.org/stable/2266170},
    Volume = {5},
    Year = {1940},
    bdsk-url-1 = {http://www.jstor.org/stable/2266170},
    date-added = {2018-05-02 20:28:05 +0000},
    date-modified = {2018-05-02 20:28:30 +0000},
    doi = {10.2307/2266170}
}

@article{10.2307/2266170, Author = {Church, Alonzo}, File = {123690205ae5bbd9f8c84b1330025e8476e4 (0) - a - a - u.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Keywords = {simple type theory and classic}, Number = {2}, Pages = {56--68}, Publisher = {Association for Symbolic Logic}, Title = {A Formulation of the Simple Theory of Types}, URL = {http://www.jstor.org/stable/2266170}, Volume = {5}, Year = {1940}, bdsk-url-1 = {http://www.jstor.org/stable/2266170}, date-added = {2018-05-02 20:28:05 +0000}, date-modified = {2018-05-02 20:28:30 +0000}, doi = {10.2307/2266170} }