From X to π; representing the classical sequent calculus

by Steffen Van Bakel , Luca Cardelli , Maria Grazia Vigliotti
Citations:13 - 13 self