組合分類語法（CCG）是一種高效的可解析的、具有語言表達能力的語法形式。它在表面語法和底層語義表示之間有一個透明的接口，包括謂語-參數結構、量詞和信息結構。該形式主義產生了基于成分的結構（而不是基于依賴的結構），因此是一種短語結構語法（而不是依賴語法）。CCG依賴于組合邏輯，它具有與λ微積分相同的表達能力，但以不同的方式構建其表達。這些組合器與I（身份映射）和C（置換器）一起構成了一組原始的、不可定義的組合器。

CCG形式主義定義了許多組合器（應用、組合和類型提升是最常見的）。這些組合器通過自然演繹風格的證明，對句法類型化的詞條進行操作。證明的目標是找到某種方式，將組合器應用于一連串的詞匯項，直到證明中沒有詞匯項未被使用。證明完成后的結果類型是整個表達的類型。因此，證明某個詞的序列是某種語言的句子，相當于證明這些詞還原為類型S。

詞條的句法類型可以是原始類型，如S、N或NP，也可以是復雜類型，如S/NP，或NP/N。復雜的類型，可以用X/Y和X/Y來表示，表示接受Y類型的參數并返回X類型的對象的漏斗類型，正斜杠表示參數應該出現在右邊，而反斜杠表示參數應該出現在左邊。任何類型都可以代替這里的X和Y，使得CCG中的語法類型成為一個遞歸類型系統。

應用組合器，通常用>表示正向應用，用<表示反向應用，將一個具有漏斗類型的詞條應用于具有適當類型的參數。應用的定義如下。

類型提升組合器，通常表示為用于后向類型提升，將參數類型（通常是原始類型）帶入漏斗類型，漏斗類型將在類型提升之前將它們作為參數的漏斗作為其參數。