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

コンビネータ論理 - Wikipedia