Hierarchies of total functionals over the reals

DOI10.1016/j.tcs.2004.01.028zbMath1052.03020OpenAlexW2021081280MaRDI QIDQ1434355

Dag Normann

Publication date: 4 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.01.028

zbMATH Keywords

hierarchiesfunctionals of finite types over the reals

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)

Cites Work

• A type-theoretical alternative to ISWIM, CUCH, OWHY
• PCF extended with real numbers
• Extended admissibility.
• Real number computability and domain theory
• An abstract data type for real numbers
• Abstract versus concrete computation on metric partial algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hierarchies of total functionals over the reals