Steffen van Bakel Luca Cardelli Maria Grazia Vigliotti From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus http://arxiv.org/abs/1109.4817 2011 CoRR abs/1109.4817 db/journals/corr/corr1109.html#abs-1109-4817