Definition:Computable Real Function

Definition
Let $f : \R \to \R$ be a real function.

Suppose that $f$ is both sequentially computable and computably uniformly continuous.

Then $f$ is a computable real function.