Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

pointed domain

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

©2018 Martin Webb