Given a domain, how do we build a language whose denotation is the domain?
As it turns out, the OP is interested in the specific case of the interval domain. Martín Escardó's PhD thesis &quot;PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation&quot; extends the programming language PCF with a datatype of reals whose denotation is the interval domain.