On the Constructive Content of Proofs (2003)

by M Seisenberger