Program size in restricted programming languages

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Computability and Unsolvability.

Calvin C. Elgot, Martin Davis · Mathematical Tables and Other Aids to Computation · 1959 · 1K citations

A Machine-Independent Theory of the Complexity of Recursive Functions

Manuel Blum · Journal of the ACM · 1967 · 835 citations · Full text

Computing, Computer Science, Algorithms +11

Gödel numberings of partial recursive functions

Hartley Rogers · Journal of Symbolic Logic · 1958 · 273 citations

Natural Sciences, Computer Science, Mathematics +8