What's the deal with Deno? We talk with a major contributor to find out. Listen now.
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.


Only top voted, non community-wiki answers of a minimum length are eligible