On the Computational Content of Termination Proofs.

Georg Moser, Thomas Powell

Browse the full CiE paper archive.