Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
least fixed point
Jump to user comments
A function f may have many fixed points (x such that f x =
x). For example, any value is a fixed point of the identity
function, ( x . x). If f is recursive, we can represent it
f = fix F