A Formalisation of Weak Normalisation (with respect to Permutations) of Sequent Calculus Proofs (1993)

by A Adams
Venue:Journal of Computation and Mathematics 3 (2000), 1--26. Dawson and Gor e