B,C,K,W系统 年哈斯凱爾加里在他的博士论文Grundlagen der kombinatorischen Logik中提议了一个組合子邏輯系統它带有基本组合子BCK和W采用了现在的命名