Applications of the Kleene-Kreisel density theorem to theoretical computer science

MaRDI QIDQ5384971zbMATH OpenFDO

Authors Dag Normann

Publication date 29 April 2008

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1497739
• Total sets and objects in domain theory
• scientific article; zbMATH DE number 1169381
• scientific article; zbMATH DE number 4212032
• Density theorems for the domains-with-totality semantics of dependent types

Cited in

(3)

• Internal Density Theorems for Hierarchies of Continuous Functionals
• scientific article; zbMATH DE number 65747 (Why is no real title available?)
• Nonflatness and totality

This page was built for publication: Applications of the Kleene-Kreisel density theorem to theoretical computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5384971)