nLab topological domain theory




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.


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.