@article{laurent:hal-00768868,
    Abstract = {{We give a purely syntactic proof (from scratch) of the subject equality property of the BCD intersection type system through a reformulation of the subtyping relation having a ''cut-elimination'' property.}},
    Author = {Laurent, Olivier},
    File = {Intersection Types with Subtyping by Means of Cut Elimination - Laurent (0) (0) - a - a - u.pdf},
    Journal = {Fundamenta Informaticae},
    Keywords = {intersection types},
    Language = {English},
    Month = {December},
    Number = {1-4},
    Pages = {203-226},
    Title = {{Intersection Types with Subtyping by Means of Cut Elimination}},
    URL = {http://hal.archives-ouvertes.fr/hal-00768868},
    Volume = {121},
    Year = {2012},
    affiliation = {Laboratoire de l'Informatique du Parall{\'e}lisme - LIP},
    audience = {international},
    bdsk-url-1 = {http://hal.archives-ouvertes.fr/hal-00768868},
    bdsk-url-2 = {http://dx.doi.org/10.3233/FI-2012-776},
    date-added = {2013-12-28 19:42:03 +0000},
    date-modified = {2013-12-28 19:42:18 +0000},
    hal_id = {hal-00768868},
    doi = {10.3233/FI-2012-776}
}

@article{laurent:hal-00768868, Abstract = {{We give a purely syntactic proof (from scratch) of the subject equality property of the BCD intersection type system through a reformulation of the subtyping relation having a ''cut-elimination'' property.}}, Author = {Laurent, Olivier}, File = {Intersection Types with Subtyping by Means of Cut Elimination - Laurent (0) (0) - a - a - u.pdf}, Journal = {Fundamenta Informaticae}, Keywords = {intersection types}, Language = {English}, Month = {December}, Number = {1-4}, Pages = {203-226}, Title = {{Intersection Types with Subtyping by Means of Cut Elimination}}, URL = {http://hal.archives-ouvertes.fr/hal-00768868}, Volume = {121}, Year = {2012}, affiliation = {Laboratoire de l'Informatique du Parall{\'e}lisme - LIP}, audience = {international}, bdsk-url-1 = {http://hal.archives-ouvertes.fr/hal-00768868}, bdsk-url-2 = {http://dx.doi.org/10.3233/FI-2012-776}, date-added = {2013-12-28 19:42:03 +0000}, date-modified = {2013-12-28 19:42:18 +0000}, hal_id = {hal-00768868}, doi = {10.3233/FI-2012-776} }