Hostname: page-component-7b7567c8c-fvjsw Total loading time: 0 Render date: 2026-11-12T19:01:42.409Z 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
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Research Article
Copyright
1997 Cambridge University Press