B,C,K,W系統

1930年哈斯凱爾 · 加里在他的博士論文 《 Grundlagen der kombinatorischen Logik 》 中提議了一個組合子邏輯系統 。 它帶有基本組合子B 、 C 、 K和W （ 採用了現在的命名 ） 。