Login / Signup

On the Computational Complexity of Cut-Reduction.

Klaus AehligArnold Beckmann
Published in: LICS (2008)
Keyphrases