Vasco Brattka, Ruth Dillhage. Computability of compact operators on computable Banach spaces with bases. Math. Log. Q., 53(4-5):345-364, 2007. [doi]
@article{BrattkaD07:0,
title = {Computability of compact operators on computable Banach spaces with bases},
author = {Vasco Brattka and Ruth Dillhage},
year = {2007},
doi = {10.1002/malq.200710004},
url = {http://dx.doi.org/10.1002/malq.200710004},
researchr = {https://researchr.org/publication/BrattkaD07%3A0},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {53},
number = {4-5},
pages = {345-364},
}