Computable Analysis for Extraction of Certified Programs and Its Applications.

Holger Thies

Browse the full CiE paper archive.