Is there a formal language of Combinatory Logic’s expressions?

The Combinatory Logic uses expressions of the form (x y) called “applications” (here, we have an “application of x to y”). Thus, the language of CL is a set of “parenthetic expressions”, each looking like a string of variables to which pairs of balanced parentheses are multiply applied in an exhaustive manner (that is, you cannot insert yet another pair of parentheses).

Is there a grammar which defines this language?
(I am a novice in formal languages and I am not sure my question is correctly formulated)