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".
(1999-07-07)
Nearby terms:
point « point-and-drool interface « point-and-grunt
interface « pointed domain » pointer »
pointer swizzling » pointing device
|