Towards a Convenient Category of Topological Domains

Alex Simpson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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, provides a model of parametric polymorphism, and can be used as the basis for a theory of computability. This answers a question of Gordon Plotkin, who asked whether it was possible to construct a category of domains with such properties. 1
Original languageEnglish
Title of host publicationProceedings of thirteenth ALGI Workshop
Publication statusPublished - 2003

Fingerprint

Dive into the research topics of 'Towards a Convenient Category of Topological Domains'. Together they form a unique fingerprint.

Cite this