Informatics Report Series


Report   

EDI-INF-RR-0611


Related Pages

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

Home
Title:Towards a convenient category of topological domains
Authors: Alexander Simpson
Date: 2003
Publication Title:Proceedings of thirteenth ALGI Workshop
Publisher:RIMS
Publication Type:Conference Paper Publication Status:Published
Abstract:
We propose a category of topological spaces that promises to be convenient for the purposes of domain theory as a mathematical theory for modelling computation. Our notion of convenience presupposes the usual properties of domain theory, e.g. modelling the basic type constructors, fixed points, recursive types, etc. In addition, we seek to model {parametric polymorphism}, and also to provide a flexible toolkit for modelling computational effects as free algebras for algebraic theories. Our convenient category is obtained as an application of recent work on the remarkable closure conditions of the category of quotients of countably-based topological spaces. Its convenience is a consequence of a connection with realizability models.
Links To Paper
No links available
Bibtex format
@InProceedings{EDI-INF-RR-0611,
author = { Alexander Simpson },
title = {Towards a convenient category of topological domains},
book title = {Proceedings of thirteenth ALGI Workshop},
publisher = {RIMS},
year = 2003,
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh