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

- Website
*Topological Domain Theory*

A survey is in

- Ingo Battenfeld,
*Topological Domain Theory*, PhD thesis, 2009 (pdf slides)

Created on March 3, 2014 at 05:15:02. See the history of this page for a list of all contributions to it.