@article{Barbanera:1995:IUT:203538.203547,
    Address = {Duluth, MN, USA},
    Author = {Barbanera, Franco and Dezani-Ciancaglini, Mariangiola and De'Liguoro, Ugo},
    File = {Intersection and union types syntax and semantics - Barbanera, Dezani-Ciancaglini, De'Liguoro (1) (0) - a - a - r.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {intersection types},
    Month = {June},
    Number = {2},
    Pages = {202--230},
    Publisher = {Academic Press, Inc.},
    Title = {Intersection and union types: syntax and semantics},
    URL = {http://dx.doi.org/10.1006/inco.1995.1086},
    Volume = {119},
    Year = {1995},
    acmid = {203547},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1086},
    date-added = {2013-07-04 15:57:48 +0000},
    date-modified = {2013-07-04 15:57:53 +0000},
    file-2 = {Intersection and union types syntax and semantics - Barbanera, Dezani-Ciancaglini, De'Liguoro (0) (0) - a - a - r.pdf},
    issue_date = {June 1995},
    numpages = {29},
    doi = {10.1006/inco.1995.1086}
}

@article{Barbanera:1995:IUT:203538.203547, Address = {Duluth, MN, USA}, Author = {Barbanera, Franco and Dezani-Ciancaglini, Mariangiola and De'Liguoro, Ugo}, File = {Intersection and union types syntax and semantics - Barbanera, Dezani-Ciancaglini, De'Liguoro (1) (0) - a - a - r.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {intersection types}, Month = {June}, Number = {2}, Pages = {202--230}, Publisher = {Academic Press, Inc.}, Title = {Intersection and union types: syntax and semantics}, URL = {http://dx.doi.org/10.1006/inco.1995.1086}, Volume = {119}, Year = {1995}, acmid = {203547}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1086}, date-added = {2013-07-04 15:57:48 +0000}, date-modified = {2013-07-04 15:57:53 +0000}, file-2 = {Intersection and union types syntax and semantics - Barbanera, Dezani-Ciancaglini, De'Liguoro (0) (0) - a - a - r.pdf}, issue_date = {June 1995}, numpages = {29}, doi = {10.1006/inco.1995.1086} }