1. point-and-grunt interface point-and-drool interface pointed domain In most formulations of domain theory, a domain is defined to have a bottom element and algebraic CPOs without bottoms are called "predomains". David Schmidts domains do not have this requirement and he calls a domain with a bottom "pointed".
point-and-grunt interface |
