scientific article; zbMATH DE number 3912368

MaRDI QIDQ3689176zbMATH OpenFDO

Authors Stephen Cole Kleene

Publication date 1982

zbMATH Keywords

computations in higher typesoracle for partial monotone operatorssemantics

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• Recursive Functionals and Quantifiers of Finite Types Revisited, V
• Oracle programming in a higher level language
• scientific article; zbMATH DE number 3983152
• scientific article; zbMATH DE number 4079399
• Closed machine-oracle model of the arithmetic of transfinite types

Cited in

(12)

• Some modifications of iterated Kleene calculability
• The sequentially realizable functionals
• A game-semantic model of computation
• scientific article; zbMATH DE number 3983152 (Why is no real title available?)
• Recursion in Kolmogorov's R-operator and the ordinal σ₃
• Recursive Functionals and Quantifiers of Finite Types Revisited, V
• scientific article; zbMATH DE number 1354009 (Why is no real title available?)
• Syntax and Semantics in Higher-Type Recursion Theory
• Closed machine-oracle model of the arithmetic of transfinite types
• scientific article; zbMATH DE number 3310899 (Why is no real title available?)
• Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles
• Oracle programming in a higher level language

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3689176)