@inproceedings{1691222,
    Author = {Terauchi, T. and Aiken, A.},
    BookTitle = {Logic in Computer Science, 2006 21st Annual IEEE Symposium on},
    File = {On Typability for Rank-2 Intersection Types with Polymorphic Recursion - Terauchi, Aiken (0) (0) - a - a - m.pdf},
    ISSN = {1043-6871},
    Keywords = {intersection types and polymorphic types and recursive types},
    Pages = {111-122},
    Title = {On Typability for Rank-2 Intersection Types with Polymorphic Recursion},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.41},
    date-added = {2013-07-04 10:28:47 +0000},
    date-modified = {2013-07-04 10:30:35 +0000},
    doi = {10.1109/LICS.2006.41}
}

@inproceedings{1691222, Author = {Terauchi, T. and Aiken, A.}, BookTitle = {Logic in Computer Science, 2006 21st Annual IEEE Symposium on}, File = {On Typability for Rank-2 Intersection Types with Polymorphic Recursion - Terauchi, Aiken (0) (0) - a - a - m.pdf}, ISSN = {1043-6871}, Keywords = {intersection types and polymorphic types and recursive types}, Pages = {111-122}, Title = {On Typability for Rank-2 Intersection Types with Polymorphic Recursion}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.41}, date-added = {2013-07-04 10:28:47 +0000}, date-modified = {2013-07-04 10:30:35 +0000}, doi = {10.1109/LICS.2006.41} }