コンビネータ論理
combinatory logic
Haskell Brooks CurryとMoses Ilyich Schönfinkelが独立に作った論理体系
コンビネータのやつ
ラムダ計算とコンビネータ論理は似ているが微妙に異なるものらしい
そのへんが #??
参考
『(理論)12 計算モデルの基礎理論』 p.124-
https://ja.wikipedia.org/wiki/コンビネータ論理
https://googology.fandom.com/ja/wiki/ユーザーブログ:Hexirp/(2022-04-22)_コンビネータ論理