Vasco Brattka Some Aspects of Computable Functional Analysis. 2005 conf/cca/2005 CCA db/conf/cca/cca2005.html#Brattka05