Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:A convenient category of domains
Authors: Ingo Battenfeld ; Matthias Schroeder ; Alexander Simpson
Date:Apr 2007
Publication Title:Electronic Notes in Computer Science
Publication Type:Journal Article Publication Status:Published
Volume No:172 Page Nos:69-99
We motivate and define a category of topological domains, whose objects are topological spaces, generalising the usual omega-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.
Links To Paper
No links available
Bibtex format
author = { Ingo Battenfeld and Matthias Schroeder and Alexander Simpson },
title = {A convenient category of domains},
journal = {Electronic Notes in Computer Science},
publisher = {Elsevier},
year = 2007,
month = {Apr},
volume = {172},
pages = {69-99},
doi = {10.1016/j.entcs.2007.02.004},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh