From X to π; representing the classical sequent calculus

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