Concept

Forward and Backward Composition in CCG

In Combinatory Categorial Grammar (CCG), composition operators permit the composition of adjacent functions:

  • Forward composition (X/Y  Y/Z    X/ZX/Y \; Y/Z \implies X/Z): Applied to adjacent constituents where the first is a function seeking an argument of type YY to its right, and the second is a function that provides YY as a result. This rule composes the two functions into a single one with the type of the first constituent and the argument of the second.
  • Backward composition (YZ  XY    XZY \setminus Z \; X \setminus Y \implies X \setminus Z): Functions similarly to forward composition, but looks to the left instead of to the right for the relevant arguments.

0

1

Updated 2026-05-16

Tags

Data (Information)

Data Science