Strong Normalisation of Cut-Elimination in Classical Logic.
Strong Normalisation of Cut-Elimination in Classical Logic.
Christian Urban, Gavin M. Bierman
01 September 1999
Venue : TLCA
External Link: https://doi.org/10.1007/3-540-48959-2_26
01 September 1999
Venue : TLCA
External Link: https://doi.org/10.1007/3-540-48959-2_26