On the Computational Content of the Axiom (1998)

by S Berardi, M Bezem, T Coquand
Venue:of Choice, the Journal of Symbolic Logic