Strong Normalisation of Cut-Elimination in Classical Logic - Sciweavers

87

click to vote

more TLCA 1999 ...

research.microsoft.com

Tweet