Real Number Computability and Domain Theory

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8.1K citations

Computing, Computer Science, Mathematics +10

Foundations of Constructive Analysis.

Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations

Natural Sciences, Computer Science, Mathematics +4

On the definitions of computable real continuous functions

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1957 · 292 citations

Computing, Computer Science, Mathematics +7

Recursive real numbers

H. G. Rice · Proceedings of the American Mathematical Society · 1954 · 157 citations · Full text

Natural Sciences, Mathematics, Algebra +11

Effectively given domains

Michael Smyth · Theoretical Computer Science · 1977 · 147 citations