VDict - Definition of bottom-unique

Computing (FOLDOC) dictionary

bottom-unique

Jump to user comments

In domain theory, a function f is bottom-unique if

f x = bottom = x = bottom

A bottom-unique function is also strict.

Related search result for "bottom-unique"

Words contain "bottom-unique" in its definition in Computing (FOLDOC) dictionary:
bottom-unique strict coalesced sum tuple partial ordering lifted domain least fixed point eta conversion partial function flat more...

Comments and discussion on the word "bottom-unique"