nLab topological domain theory

Contents

Contents

Idea

Topological domain theory is a generalization of domain theory that includes a wider collection of topological spaces than traditional domain theory. The generalization overcomes certain known limitations of domain theory, which is unable to model various awkward combinations of computational features.

References

A collection of resources is at

A survey is in

Last revised on June 1, 2020 at 10:24:08. See the history of this page for a list of all contributions to it.