Program extraction from classical proofs (1994)

by Ulrich Berger, Helmut Schwichtenberg
Venue:Logic and Computational Complexity, International Workshop LCC '94