Proofs-as-Programs in Computable Analysis

Ulrich Berger. Proofs-as-Programs in Computable Analysis. ECEASST, 23, 2009. [doi]

Abstract

Abstract is missing.