Hostname: page-component-848d4c4894-ndmmz Total loading time: 0 Render date: 2024-05-22T17:00:15.113Z Has data issue: false hasContentIssue false

A uniform approach to domain theory in realizability models

Published online by Cambridge University Press:  01 October 1997

JOHN R. LONGLEY
Affiliation:
LFCS, Department of Computer Science, University of Edinburgh
ALEX K. SIMPSON
Affiliation:
LFCS, Department of Computer Science, University of Edinburgh

Abstract

We propose a uniform way of isolating a subcategory of predomains within the category of modest sets determined by a partial combinatory algebra (PCA). Given a divergence on a PCA (which determines a notion of partiality), we identify a candidate category of predomains, the well-complete objects. We show that, whenever a single strong completeness axiom holds, the category satisfies appropriate closure properties. We consider a range of examples of PCAs with associated divergences and show that in each case the axiom does hold. These examples encompass models allowing a ‘parallel’ style of computation (for example, by interleaving), as well as models that seemingly allow only ‘sequential’ computation, such as those based on term-models for the lambda-calculus. Thus, our approach provides a uniform approach to domain theory across a wide class of realizability models. We compare our treatment with previous approaches to domain theory in realizability models. It appears that no other approach applies across such a wide range of models.

Type
Research Article
Copyright
1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)