@inproceedings{Urzyczyn:2009:ILI:1575607.1575633,
    Address = {Berlin, Heidelberg},
    Author = {Urzyczyn, Pawe\l},
    BookTitle = {Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications},
    File = {Inhabitation of Low-Rank Intersection Types - Urzyczyn (0) (0) - a - a - a.pdf},
    ISBN = {978-3-642-02272-2},
    Keywords = {intersection types},
    Location = {Brasilia, Brazil},
    Pages = {356--370},
    Publisher = {Springer-Verlag},
    Series = {TLCA '09},
    Title = {Inhabitation of Low-Rank Intersection Types},
    URL = {http://dx.doi.org/10.1007/978-3-642-02273-9\_26},
    Year = {2009},
    acmid = {1575633},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02273-9\_26},
    date-added = {2013-07-04 13:51:51 +0000},
    date-modified = {2013-07-04 13:52:09 +0000},
    numpages = {15},
    doi = {10.1007/978-3-642-02273-9_26}
}

@inproceedings{Urzyczyn:2009:ILI:1575607.1575633, Address = {Berlin, Heidelberg}, Author = {Urzyczyn, Pawe\l}, BookTitle = {Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications}, File = {Inhabitation of Low-Rank Intersection Types - Urzyczyn (0) (0) - a - a - a.pdf}, ISBN = {978-3-642-02272-2}, Keywords = {intersection types}, Location = {Brasilia, Brazil}, Pages = {356--370}, Publisher = {Springer-Verlag}, Series = {TLCA '09}, Title = {Inhabitation of Low-Rank Intersection Types}, URL = {http://dx.doi.org/10.1007/978-3-642-02273-9_26}, Year = {2009}, acmid = {1575633}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02273-9_26}, date-added = {2013-07-04 13:51:51 +0000}, date-modified = {2013-07-04 13:52:09 +0000}, numpages = {15}, doi = {10.1007/978-3-642-02273-9_26} }