Strong Normalisation of Cut-Elimination in Classical Logic.
Strong Normalisation of Cut-Elimination in Classical Logic.
Christian Urban, Gavin M. Bierman
01 September 2001
Venue : Fundam. Inform.
External Link: http://content.iospress.com/articles/fundamenta-informaticae/fi45-1-2-07