scientific article; zbMATH DE number 3983152

zbMATH Open0608.03015MaRDI QIDQ3748274FDOQ3748274

Authors: Stephen Cole Kleene 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Recursive Functionals and Quantifiers of Finite Types Revisited, V
• scientific article; zbMATH DE number 3912368
• Partial elements and recursion via dominances in univalent type theory
• A rich hierarchy of functionals of finite types
• On uniform definability of types over finite sets
• Partial univalence in \(n\)-truncated type theory
• scientific article; zbMATH DE number 1531372
• The finite type problem for unary algebras
• Fundamental theorems of extensional untyped \(\lambda\)-calculus revisited
• Untyped Recursion Schemes and Infinite Intersection Types

zbMATH Keywords

algorithmcomputationrecursivenessrecursion theoremoraclefunctionals of finite typesubstitution theoremhigher type recursionunimonotonicity

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Cited In (8)

• A game-semantic model of computation
• Solvable classes of discrete dynamic programming
• The recursion hierarchy for PCF is strict
• Title not available (Why is that?)
• Title not available (Why is that?)
• Another approach to sequentiality: Kleene's unimonotone functions
• Fuzzy neural networks
• Regular expressions and the equivalence of programs

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 Q3748274)