Strong Normalisation Proofs for Cut Elimination in Gentzen's Sequent Calculi (1996)

Cached

Download Links

by Elias Tahhan Bittar
Citations:6 - 0 self