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

by
A. A. Adams

Citations: | 3 - 0 self |