New answers tagged denotational-semantics
4
As it turns out, the OP is interested in the specific case of the interval domain. MartÃn Escardó's PhD thesis "PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation" extends the programming language PCF with a datatype of reals whose denotation is the interval domain.
Top 50 recent answers are included
