fixed point combinator

(Y) The name used in combinatory logic for the fixed point function, also written as "fix".