Haskell Brooks CurryとMoses Ilyich Schönfinkelが独立に作った論理体系

コンビネータのやつ

ラムダ計算とコンビネータ論理は似ているが微妙に異なるものらしい

そのへんが #??

参考

『(理論)12 計算モデルの基礎理論』 p.124-