B,C,K,Wシステム
B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文"Grundlagen der kombinatorischen Logik"によるもので、その結論部分はCurry 1930において示された。