コンビネータ論理
combinatory logic
組み合わせ論理
SKIコンビネータ計算
B,C,K,Wシステム
ラムダ計算
不動点コンビネータ
コンビネータ論理 - Wikipedia