コンビネータ
閉じた項、とも言う
例
Y\equivλf.(λx·f (x x)) (λx.f (x x))
Z\equiv λf. (λx. f (λy. x x y)) (λx. f (λy. x x y))
\Omega\equiv(\lambda x.xx)(\lambda x.xx)
I\equiv\lambda x.x
K\equiv\lambda x y.x
S\equiv\lambda xyz.(xz)(yz)
B\equiv\lambda xyz.x(yz)
C\equiv\lambda xyz.xzy
F\equiv\lambda xy.y
めっちゃある