pointed domain
<theory>
In most formulations of domain theory, a domain is defined to have a bottom element and algebraic CPOs without bottoms are called "predomains". David Schmidt's domains do not have this requirement and he calls a domain with a bottom "pointed".
Last updated: 1999-07-07
Nearby terms:
point-and-grunt interface ♦ pointed domain ♦ pointer ♦ pointer swizzling
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
