Cut-elimination and Herbelin's sequent calculus for intuitionistic logic', Studia Logica 60 (1998)

by R Dyckhoff, L Pinto