Sciweavers

DAGSTUHL
2006

A convenient category of domains

13 years 4 months ago
A convenient category of domains
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, can be used as the basis for a theory of computability, and provides a model of parametric polymorphism.
Ingo Battenfeld, Matthias Schröder, Alex Simp
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where DAGSTUHL
Authors Ingo Battenfeld, Matthias Schröder, Alex Simpson
Comments (0)