Combinatory Categorial Grammar (CCG) is a highly lexicalized formalism in computational linguistics that uses combinatory logic to analyze the syntactic structure of natural language. It allows for flexible word order and captures long-range dependencies, making it well-suited for parsing and understanding complex linguistic phenomena.