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

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