不動点コンビネータ
もう一つの一般的な不動点コンビネータは、チューリング不動点コンビネータである(発見者であるアラン・チューリングの名にちなむ)。
Θ = (λx. λy. (y (x x y))) (λx. λy. (y (x x y)))
これはシンプルな値渡し形式も持つ。
Θv = (λx. λy. (y (λz. x x y z))) (λx. λy. (y (λz. x x y z)))