%O Report 
%F bbc94
%A Berardi, Stefano
%A Bezem, Marc
%A Coquand, Thierry
%T On the Computational Content of the Axiom of Choice
%N 116
%I Utrecht University, Department of Philosopy
%8 June
%D 1994
%K typetheory