@article{vanBakel1995385,
    Author = {van Bakel, Steffen},
    File = {Intersection type assignment systems - Bakel (1) (0) - a - a - r.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {intersection types},
    Note = {<ce:title>13th Conference on Foundations of Software Technology and Theoretical Computer Science</ce:title>},
    Number = {2},
    Pages = {385 - 435},
    Title = {Intersection type assignment systems},
    URL = {http://www.sciencedirect.com/science/article/pii/0304397595000736},
    Volume = {151},
    Year = {1995},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397595000736},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(95)00073-6},
    date-added = {2013-06-24 08:56:58 +0000},
    date-modified = {2013-06-24 08:57:29 +0000},
    file-2 = {Intersection type assignment systems - Bakel (0) (0) - a - a - r.pdf},
    doi = {10.1016/0304-3975(95)00073-6}
}

@article{vanBakel1995385, Author = {van Bakel, Steffen}, File = {Intersection type assignment systems - Bakel (1) (0) - a - a - r.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {intersection types}, Note = {13th Conference on Foundations of Software Technology and Theoretical Computer Science}, Number = {2}, Pages = {385 - 435}, Title = {Intersection type assignment systems}, URL = {http://www.sciencedirect.com/science/article/pii/0304397595000736}, Volume = {151}, Year = {1995}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397595000736}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(95)00073-6}, date-added = {2013-06-24 08:56:58 +0000}, date-modified = {2013-06-24 08:57:29 +0000}, file-2 = {Intersection type assignment systems - Bakel (0) (0) - a - a - r.pdf}, doi = {10.1016/0304-3975(95)00073-6} }