Theory of representations

Bishop, 1967

Brouwer, 1924, Zur Begründung der intuitionistischen Mathematik I, Math. Annalen, 93, 244, 10.1007/BF01449963

Brouwer, 1925, Zur Begründung der intuitionistischen Mathematik II, Math. Annalen, 96, 453

Brouwer, 1926, Zur Begründung der intuitionistischen Mathematik II, Math. Annalen, 96, 451, 10.1007/BF01209181

Dettki, 1983, Rekursionstheorie auf F, 34

Egli, 1976, Computability concepts for programming language semantics, Theoret. Comput. Sci., 2, 133, 10.1016/0304-3975(76)90029-3

Ershov, 1973, Theorie der Numerierungen I, Z. fur Math. Logik und Grundlagen der Mathematik, 19, 289, 10.1002/malq.19730191901

Ko, 1982, Computational complexity of real functions, Theoret. Comput. Sci., 20, 323, 10.1016/S0304-3975(82)80003-0

Kreitz, 1982, Complexity theory on real numbers and functions, 145, 165

Kreitz, 1983, Towards a theory of representations, 40

Myhill, 1955, Effective operations on partial recursive functions, Z. fur Math. Logik und Grundlagen der Mathematik, 1, 310, 10.1002/malq.19550010407

Rogers, 1967

Scott, 1976, Data types as lattices, SIAM J. Comput., 5, 522, 10.1137/0205037

Weihrauch, 1985, Type 2 recursion theory, Theoret. Comput. Sci., 28, 17, 10.1016/0304-3975(85)90207-5

Weihrauch, 1983, Admissible representations of effective cpo's, Theoret. Comput. Sci., 26, 131, 10.1016/0304-3975(83)90083-X

Pour-El, 1983, Lp-computability in recursive analysis