"From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus"

Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics