Text this: Strong Normalization in the π-calculus with Intersection and Union Types.