fixed point combinator

(redirected from Fixed-point combinator)
Also found in: Wikipedia.

fixed point combinator

(mathematics)
(Y) The name used in combinatory logic for the fixed point function, also written as "fix".
References in periodicals archive ?
For example, in order to allow for divergent series, Ehrhards models restrict us in such a way that we lose the ability to model fixed-point combinators (recursion) and hence the untyped lambda-calculus.

Full browser ?