コンビネータ

閉じた項、とも言う

ラムダ計算の中での用語

例

$ 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

めっちゃある