Program extraction from classical proofs, Logic and computational complexity workshop (LCC’94 (1995)

by U BERGER, H SCHWICHTENBERG
Venue:Lecture Notes in Computer Science