bottom-unique
In domain theory, a function f is bottom-unique if
f x = bottom <=> x = bottom
A bottom-unique function is also strict.
Nearby terms:
bottom « BottomFeeder « bottom feeder «
bottom-unique
» bottom-up implementation » bottom-up model »
bottom-up testing
|