Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic (1998)

by Roy Dyckhoff , Luis Pinto
Citations:40 - 6 self