A realization of the negative interpretation of the axiom of choice (0)

by S Berardi, M Bezem, T Coquand
Venue:In [16