101 citations · 688 across the 27 of their papers we have counts for
1 paper · 2 filters
Vasco Brattka
Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem th…