@article{Yokouchi:1995:EST:208742.208747,
    Address = {Duluth, MN, USA},
    Author = {Yokouchi, Hirofumi},
    File = {Embedding a second-order type system into an intersection type system - Yokouchi (0) (0) - a - a - b.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {intersection types},
    Month = {March},
    Number = {2},
    Pages = {206--220},
    Publisher = {Academic Press, Inc.},
    Title = {Embedding a second-order type system into an intersection type system},
    URL = {http://dx.doi.org/10.1006/inco.1995.1040},
    Volume = {117},
    Year = {1995},
    acmid = {208747},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1040},
    date-added = {2013-07-04 13:57:41 +0000},
    date-modified = {2013-07-04 13:57:51 +0000},
    issue_date = {March 1995},
    numpages = {15},
    doi = {10.1006/inco.1995.1040}
}

@article{Yokouchi:1995:EST:208742.208747, Address = {Duluth, MN, USA}, Author = {Yokouchi, Hirofumi}, File = {Embedding a second-order type system into an intersection type system - Yokouchi (0) (0) - a - a - b.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {intersection types}, Month = {March}, Number = {2}, Pages = {206--220}, Publisher = {Academic Press, Inc.}, Title = {Embedding a second-order type system into an intersection type system}, URL = {http://dx.doi.org/10.1006/inco.1995.1040}, Volume = {117}, Year = {1995}, acmid = {208747}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1040}, date-added = {2013-07-04 13:57:41 +0000}, date-modified = {2013-07-04 13:57:51 +0000}, issue_date = {March 1995}, numpages = {15}, doi = {10.1006/inco.1995.1040} }