1 citations · 1 across the 1 of their papers we have counts for
1 paper
Carsten Rösnick-Neugebauer
The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions…