Strong Normalisation of Cut-Elimination in Classical Logic (2000)

by C. Urban , G. M. Bierman
Citations:46 - 4 self