Characterizations of the Basic Feasible Functionals of Finite Type

This publication has 6 references indexed in Scilit:

• Constructive Analysis
  Published by Springer Nature ,1985
• Computational complexity of real functions
  Theoretical Computer Science, 1982
• A Programming Approach to Computability
  Published by Springer Nature ,1982
• Computable Functionals of Finite Type I
  Published by Elsevier ,1967
• Classes of predictably computable functions
  Transactions of the American Mathematical Society, 1963
• Turing-Machine Computable Functionals of Finite Types II^†
  Proceedings of the London Mathematical Society, 1962