1. On the computational content of the axiom of choice
2. U. Berger. 2002. The Berardi-Bezem-Coquand Functional in a Domain-Theoretic Setting. (2002). Unpublished manuscript available from the author's webpage https://www-compsci.swan.ac.uk/~csulrich/. U. Berger. 2002. The Berardi-Bezem-Coquand Functional in a Domain-Theoretic Setting. (2002). Unpublished manuscript available from the author's webpage https://www-compsci.swan.ac.uk/~csulrich/.
3. A computational interpretation of open induction
4. Modified Bar Recursion and Classical Dependent Choice;Berger U.;Lecture Notes in Logic,2005