scientific article; zbMATH DE number 1497736

MaRDI QIDQ4499146zbMATH OpenFDO

Authors John Longley

Publication date 6 March 2001

zbMATH Keywords

exact real-number computability

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1531368
• scientific article; zbMATH DE number 1968604
• Typed vs. untyped realizability

Cited in

(8)

• A wave-spectrum analysis of urban population density: Entropy, fractal, and spatial localization
• Prelogical relations
• Impredicativity entails untypedness
• Typed vs. untyped realizability
• scientific article; zbMATH DE number 1968604 (Why is no real title available?)
• scientific article; zbMATH DE number 1531368 (Why is no real title available?)
• scientific article; zbMATH DE number 2183393 (Why is no real title available?)
• Implementing real numbers with RZ

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