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 language | English |
---|---|
Pages (from-to) | 17-29 |
Number of pages | 13 |
Journal | Theoretical Computer Science |
Volume | 546 |
DOIs | |
Publication status | Published - 2014 |