On the definitions of computable real continuous functions
Andrzej Grzegorczyk (1957)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Computable functionals”
On the definitions of computable real continuous functions
On the definition of computable functionals
Andrzej Grzegorczyk (1955)
Fundamenta Mathematicae
Similarity:
A few results on the complexity of classes of identifiable recursive function sets
Reinhard Klette (1982)
Banach Center Publications
Similarity:
On the reducibility of decision problems
A. Janiczak (1954)
Colloquium Mathematicae
Similarity:
Deriving programs using higher-order generalization
Alberto Pettorossi (1988)
Banach Center Publications
Similarity:
Functional compiler description
K. Indermark (1988)
Banach Center Publications
Similarity:
A model for barrecursion of higher types
B. Scarpellini (1971)
Compositio Mathematica
Similarity:
Recursion in total functionals of finite type
Solomon Feferman (1977)
Compositio Mathematica
Similarity:
General recursive functionals of finite type and hierarchies of functions
R. O. Gandy (1967)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity: