組合子邏輯

組合子邏輯是Moses Schönfinkel和哈斯凱爾 · 加里介入的一種符號系統 ， 用來消除數理邏輯中對變量的需要 。 它最近在計算機科學中被用做計算的理論模型和設計函數式編程語言的基礎 。 它所基於的組合子是隻使用函數應用或早先定義的組合子來定義從它們的參數得出的結果的高階函數 。