Permutability of proofs in intuitionistic sequent calculi (1999)

by Roy Dyckhoff, Luís Pinto
Venue:Theoretical Computer Science