Permutability of proofs in intuitionistic sequent calculi

Theoretical Computer Science

Journal Article

R. Dyckhoff

Publication

Year of publication: 1999

Volume: 212

Issue: 1-2

Pages: 141-155

Identifiers

Other: 2-s2.0-0344563295

Locators

Alternative Titles