A Formalisation Of Weak Normalisation (With Respect To Permutations) Of Sequent Calculus Proofs (1999)

by A. A. Adams
Citations:3 - 0 self