VDict mobile
Dictionary - Translation



In domain theory, a function f is bottom-unique if
f x = bottom = x = bottom
A bottom-unique function is also strict.
© Vdict mobile
Switch to smart phone version   |   Switch to PC version