View of Proof Translations between Label-free and Labeled Sequent Calculi in ISCI

Return to Article Details Proof Translations between Label-free and Labeled Sequent Calculi in ISCI Download Download PDF