Concepedia

Theory of representations

Christoph Kreitz, Klaus Weihrauch

Theoretical Computer Science · 1985 · 160 citations · 9 references

DOI

References

9

Theory of Recursive Functions and Effective Computability.

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

, , +14

Theory of Recursive Functions and Effective Computability

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

, , +14

Foundations of Constructive Analysis.

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

, , +4

Data Types as Lattices

Dana Scott · SIAM Journal on Computing · 1976 · 573 citations

, , +8

Computational complexity of real functions

Ker‐I Ko, Harvey M. Friedman · Theoretical Computer Science · 1982 · 271 citations

, , +13