## Mu

(Greek letter).

<*unit*>

/myoo/ In the theory of functions, mu x . E denotes the least value of x for which E = x, i.e. the least fixed point of the function \ x . E. The recursive function mu f . H f satisfies (and is defined by) the equation

mu f . H f = H (mu f . H f)An alternative notation for the same function is

fix H = H (fix H)See fixed point combinator.

<*database*>

Last updated: 1995-10-30

### Nearby terms:

M Technology Association ♦ MTOS ♦ MTS ♦ MTTR ♦ MTU ♦ **Mu** ♦ mu ♦ MUA ♦ MUCAL ♦ MUD ♦ muddie

Try this search on Wikipedia, OneLook, Google

Loading