fixed point combinator

(redirected from Fixed point operator)

fixed point combinator

(mathematics)
(Y) The name used in combinatory logic for the fixed point function, also written as "fix".
References in periodicals archive ?
He shows that bi-similarity, behavioral, and logical equivalence are the same for general model logics and for continuous time stochastic logic with and without a fixed point operator.