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

Cached

Download Links

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