@article{hindley92,
    Author = {Hindley, J.Roger},
    File = {Types with intersection An introduction - Hindley (0) (0) - a - a - y.pdf},
    ISSN = {0934-5043},
    Journal = {Formal Aspects of Computing},
    Keywords = {intersection types},
    Language = {English},
    Number = {5},
    Pages = {470-486},
    Publisher = {Springer-Verlag},
    Title = {Types with intersection: An introduction},
    URL = {http://dx.doi.org/10.1007/BF01211394},
    Volume = {4},
    Year = {1992},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01211394},
    date-added = {2013-05-02 17:45:25 +0000},
    date-modified = {2013-06-23 06:41:32 +0000},
    doi = {10.1007/BF01211394}
}

@article{hindley92, Author = {Hindley, J.Roger}, File = {Types with intersection An introduction - Hindley (0) (0) - a - a - y.pdf}, ISSN = {0934-5043}, Journal = {Formal Aspects of Computing}, Keywords = {intersection types}, Language = {English}, Number = {5}, Pages = {470-486}, Publisher = {Springer-Verlag}, Title = {Types with intersection: An introduction}, URL = {http://dx.doi.org/10.1007/BF01211394}, Volume = {4}, Year = {1992}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01211394}, date-added = {2013-05-02 17:45:25 +0000}, date-modified = {2013-06-23 06:41:32 +0000}, doi = {10.1007/BF01211394} }