Este tipo de función, donde "f" = "g"("f"), es llamada un "fixed-point" de "g", y resulta que puede ser implementado en el cálculo lambda usando lo que es conocido como el "paradoxical operator" or "fixed-point operator" y es representado como "Y" -- el Y combinator: