scientific article; zbMATH DE number 1531376

MaRDI QIDQ4513595zbMATH OpenFDO

Authors Holger Schulz

Publication date 28 February 2001

zbMATH Keywords

Real PCF

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Real number computability and domain theory
• scientific article; zbMATH DE number 1333613
• A domain-theoretic approach to computability on the real line
• scientific article; zbMATH DE number 1222103
• PCF extended with real numbers

Cited in

(8)

• A domain-theoretic approach to computability on the real line
• Exact real number computations relative to hereditarily total functionals.
• scientific article; zbMATH DE number 1333613 (Why is no real title available?)
• Computability over the partial continuous functionals
• scientific article; zbMATH DE number 1841818 (Why is no real title available?)
• A Relationship between Equilogical Spaces and Type Two Effectivity
• Continuous R-valuations
• A domain-theoretic approach to statistical programming languages

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