Contraction-free sequent calculi for intuitionistic logic (1992)

by R DYCKHOFF
Venue:Journal of Symbolic Logic