1. Extracting constructive content from classical logic via control-like reductions;Barbanera,1993
2. Proof theory at work: Program development in the Minlog system;Benl,1998
3. On the computational content of the axiom of choice;Berardi;The Journal of Symbolic Logic,1998
4. Total sets and objects in domain theory;Berger;Annals of Pure and Applied Logic,1993
5. U. Berger, P. Oliva, Modified bar recursion and classical dependent choice, in: Logic Colloquium 2001, Springer-Verlag (in press)