1. Home
  2. Science
  3. Mathematics
  4. On the computational content of the Axiom of Choice (1995)

Science · Mathematics

On the computational content of the Axiom of Choice (1995)

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Australia

Where it sits

Science Mathematics

More in Mathematics

See all →