scientific article; zbMATH DE number 1531372

zbMath0962.68102MaRDI QIDQ4513589

Dag Normann

Publication date: 28 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hierarchy of functionals of finite types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Hierarchies of total functionals over the reals ⋮ A Relationship between Equilogical Spaces and Type Two Effectivity ⋮ Exact real number computations relative to hereditarily total functionals.

Cites Work

• Recursion on the countable functionals
• Filter spaces and continuous functionals
• The hereditary partial effective functionals and recursion theory in higher types
• Unnamed Item
• Unnamed Item
• Unnamed Item