Cartesian closed categories of separable Scott domains

Andrej Bauer, Gordon D. Plotkin, Dana S. Scott

Research output: Contribution to journalArticlepeer-review

Abstract

We classify all sub-cartesian closed categories of the category of separable Scott domains. The classification employs a notion of coherence degree determined by the possible inconsistency patterns of sets of finite elements of a domain. Using the classification, we determine all sub-cartesian closed categories of the category of separable Scott domains that contain a universal object. The separable Scott domain models of the λβ-calculus are then classified up to a retraction by their coherence degrees.
Original languageEnglish
Pages (from-to)17-29
Number of pages13
JournalTheoretical Computer Science
Volume546
DOIs
Publication statusPublished - 2014

Fingerprint Dive into the research topics of 'Cartesian closed categories of separable Scott domains'. Together they form a unique fingerprint.

Cite this