Classical Cut-elimination in the π-calculus

by Steffen Van Bakel , Luca Cardelli , Maria Grazia Vigliotti