@article{DezaniCiancaglini1992303,
    Author = {Dezani-Ciancaglini, Mariangiola and Hindley, J.Roger},
    File = {Intersection types for combinatory logic - Dezani-Ciancaglini, Hindley (0) (0) - a - a - g.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Number = {2},
    Pages = {303 - 324},
    Title = {Intersection types for combinatory logic},
    URL = {http://www.sciencedirect.com/science/article/pii/030439759290306Z},
    Volume = {100},
    Year = {1992},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/030439759290306Z},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(92)90306-Z},
    date-added = {2013-06-13 12:04:50 +0000},
    date-modified = {2013-06-13 12:04:50 +0000},
    doi = {10.1016/0304-3975(92)90306-Z}
}

@article{DezaniCiancaglini1992303, Author = {Dezani-Ciancaglini, Mariangiola and Hindley, J.Roger}, File = {Intersection types for combinatory logic - Dezani-Ciancaglini, Hindley (0) (0) - a - a - g.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Number = {2}, Pages = {303 - 324}, Title = {Intersection types for combinatory logic}, URL = {http://www.sciencedirect.com/science/article/pii/030439759290306Z}, Volume = {100}, Year = {1992}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/030439759290306Z}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(92)90306-Z}, date-added = {2013-06-13 12:04:50 +0000}, date-modified = {2013-06-13 12:04:50 +0000}, doi = {10.1016/0304-3975(92)90306-Z} }