scientific article; zbMATH DE number 1497739

MaRDI QIDQ4499149zbMATH OpenFDO

Authors Ulrich Berger

Publication date 6 March 2001

zbMATH Keywords

density theoremdomain theory

Mathematics Subject Classification ID

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

Recommendations

• Computability and totality in domains
• Total sets and objects in domain theory
• Effective domains and concrete computability: A survey
• scientific article; zbMATH DE number 4212032
• Internal Density Theorems for Hierarchies of Continuous Functionals

Cited in

(6)

• Total sets and objects in domain theory
• Effective domains and concrete computability: A survey
• Computability and totality in domains
• scientific article; zbMATH DE number 4212032 (Why is no real title available?)
• Nonflatness and totality
• Applications of the Kleene-Kreisel density theorem to theoretical computer science

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