@incollection{subtyping:2013,
    Author = {D{\"u}dder, Boris and Martens, Moritz and Rehof, Jakob},
    BookTitle = {Typed Lambda Calculi and Applications},
    Editor = {Hasegawa, Masahito},
    File = {Intersection Type Matching with Subtyping - Düdder, Martens, Rehof (0) (0) - a - a - h.pdf},
    ISBN = {978-3-642-38945-0},
    Keywords = {intersection types and readme},
    Pages = {125-139},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Intersection Type Matching with Subtyping},
    URL = {http://dx.doi.org/10.1007/978-3-642-38946-7\_11},
    Volume = {7941},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-38946-7\_11},
    date-added = {2013-11-13 21:44:04 +0000},
    date-modified = {2013-11-13 21:52:07 +0000},
    doi = {10.1007/978-3-642-38946-7_11}
}

@incollection{subtyping:2013, Author = {D{\"u}dder, Boris and Martens, Moritz and Rehof, Jakob}, BookTitle = {Typed Lambda Calculi and Applications}, Editor = {Hasegawa, Masahito}, File = {Intersection Type Matching with Subtyping - Düdder, Martens, Rehof (0) (0) - a - a - h.pdf}, ISBN = {978-3-642-38945-0}, Keywords = {intersection types and readme}, Pages = {125-139}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Intersection Type Matching with Subtyping}, URL = {http://dx.doi.org/10.1007/978-3-642-38946-7_11}, Volume = {7941}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-38946-7_11}, date-added = {2013-11-13 21:44:04 +0000}, date-modified = {2013-11-13 21:52:07 +0000}, doi = {10.1007/978-3-642-38946-7_11} }