"Strong Normalization in the π-calculus with Intersection and Union Types."

Mauro Piccolo (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics