Authors: Dyckhoff, R Negri, S

Citation: R. Dyckhoff et S. Negri, Admissibility of structural rules for contraction-free systems of intuitionistic logic, J SYMB LOG, 65(4), 2000, pp. 1499-1518

Authors: Dyckhoff, R Pinto, L

Citation: R. Dyckhoff et L. Pinto, Permutability of proofs in intuitionistic sequent calculi, THEOR COMP, 212(1-2), 1999, pp. 141-155