About On the computational content of the Axiom of Choice (1995)
On the computational content of the Axiom of Choice (1995)- Article by S. Berardi, M. Bezem and T. Coquand presenting a possible computational content of the negative translation of classical analysis with the Axiom of Choice.
