slovodefinícia
pointed domain
(foldoc)		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 Schmidt's
domains do not have this requirement and he calls a domain
with a bottom "pointed".

(1999-07-07)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4