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

Cached

Download Links

by Stefano Berardi , Marc Bezem , Thierry Coquand
Venue:The Journal of Symbolic Logic
Citations:34 - 1 self