## On the computational content of the axiom of choice (1998)

by
Stefano Berardi
,
Marc Bezem
,
Thierry Coquand

Venue: | The Journal of Symbolic Logic |

Citations: | 34 - 1 self |