"是给阶乘函数的占位参数，用于传递给自身。函数F进行求值递归公式中的一个单一步骤。应用fix算子得到
其他不动点组合子.Y组合子的可以在传值调用的应用序求值中使用的变体，由普通Y组合子的部分的η-展开给出：Y组合子用SKI-演算表达为另一个常见不动点组合子是图灵不动点组合子（阿兰·图灵发现的）: