B,C,K,Wシステム
B, C, K, W system
コンビネータ論理
SKIコンビネータ計算
ラムダ計算
カリー＝ハワード同型対応
To Mock a Mockingbird
B,C,K,Wシステム - Wikipedia