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".



< Previous Terms Terms Containing pointed domain Next Terms >
POFAC
POGO
point
point-and-drool interface
point-and-grunt interface
domain theory
pointer
pointer swizzling
pointing device
pointing stick
Point Of Contact