Title: Extracting Constructive Content from Classical Logic via Control-like Reductions
Description: Article by F. Barbanera and S. Berardi showing how computational content may be extracted from proofs in Peano Arithmetic by a variant of a method proposed by William Tait.