@article{Parys:EPTCS:2019,
    Author = {Parys, Pawe{\l}},
    File = {1904.10105 (0) (0) - a - a - l.pdf},
    ISSN = {2075-2180},
    Journal = {Electronic Proceedings in Theoretical Computer Science},
    Month = {Apr},
    Pages = {7--27},
    Publisher = {Open Publishing Association},
    Title = {Intersection Types for Unboundedness Problems},
    URL = {http://dx.doi.org/10.4204/EPTCS.293.2},
    Volume = {293},
    Year = {2019},
    bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.293.2},
    bdsk-url-2 = {http://dx.doi.org/10.4204/eptcs.293.2},
    date-added = {2019-04-30 08:56:04 +0200},
    date-modified = {2020-08-11 11:17:00 +0200},
    doi = {10.4204/eptcs.293.2}
}

@article{Parys:EPTCS:2019, Author = {Parys, Pawe{\l}}, File = {1904.10105 (0) (0) - a - a - l.pdf}, ISSN = {2075-2180}, Journal = {Electronic Proceedings in Theoretical Computer Science}, Month = {Apr}, Pages = {7--27}, Publisher = {Open Publishing Association}, Title = {Intersection Types for Unboundedness Problems}, URL = {http://dx.doi.org/10.4204/EPTCS.293.2}, Volume = {293}, Year = {2019}, bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.293.2}, bdsk-url-2 = {http://dx.doi.org/10.4204/eptcs.293.2}, date-added = {2019-04-30 08:56:04 +0200}, date-modified = {2020-08-11 11:17:00 +0200}, doi = {10.4204/eptcs.293.2} }