You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL