Comparisons between some generalizations of recursion theory
Carl E. Gordon (1970)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A complete characterization of primitive recursive intensional behaviours”
Comparisons between some generalizations of recursion theory
Extension of an effectively generated class of functions by enumeration
S. Kleene (1958)
Colloquium Mathematicae
Similarity:
Primitive recursive notations for infinitary formulas
Kenneth A. Bowen (1974)
Colloquium Mathematicae
Similarity:
Deduction-preserving "Recursive Isomorphisms" between theories
Marian Pour-El, Saul Kripke (1967)
Fundamenta Mathematicae
Similarity:
Recursion in total functionals of finite type
Solomon Feferman (1977)
Compositio Mathematica
Similarity:
Primitive recursive categories and machines
Yves Lafont (1989)
Diagrammes
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:
Extended primitive recursive functions
P. Mentrasti, M. Protasi (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Recursive objects in all finite types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity: