Login / Signup

Strong Normalisation of Cut-Elimination in Classical Logic.

Christian UrbanGavin M. Bierman
Published in: TLCA (1999)
Keyphrases