catflap.org Online Dictionary Query |
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
pointed domainIn 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)