[PPT] - Program Extraction in Constructive Analysis Helmut Schwichtenberg PowerPoint Presentation