@article{Meyer198287,
    Author = {Meyer, Albert R.},
    File = {What is a model of the lambda calculus? - Meyer (0) (0) - a - a - g.pdf},
    ISSN = {0019-9958},
    Journal = {Information and Control},
    Number = {1},
    Pages = {87 - 122},
    Title = {What is a model of the lambda calculus?},
    URL = {http://www.sciencedirect.com/science/article/pii/S0019995882800879},
    Volume = {52},
    Year = {1982},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0019995882800879},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(82)80087-9},
    date-added = {2014-01-29 12:57:26 +0000},
    date-modified = {2014-01-29 12:57:26 +0000},
    doi = {10.1016/S0019-9958(82)80087-9}
}

@article{Meyer198287, Author = {Meyer, Albert R.}, File = {What is a model of the lambda calculus? - Meyer (0) (0) - a - a - g.pdf}, ISSN = {0019-9958}, Journal = {Information and Control}, Number = {1}, Pages = {87 - 122}, Title = {What is a model of the lambda calculus?}, URL = {http://www.sciencedirect.com/science/article/pii/S0019995882800879}, Volume = {52}, Year = {1982}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0019995882800879}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0019-9958(82)80087-9}, date-added = {2014-01-29 12:57:26 +0000}, date-modified = {2014-01-29 12:57:26 +0000}, doi = {10.1016/S0019-9958(82)80087-9} }