È un esempio di unificazione nominale?

Question

Sto pensando che sia il seguente problema risolto dall'unificazione nominale.

$ lambda ax = lambda b. lambda cc $

Dove troviamo $ x $. La risposta è ovvia.

Il motivo è che nell'unificazione nominale $ x $ sarà sempre un atomo, non una funzione come $ lambda cc $. La teoria sembra funzionare bene con questo input, non ha visto alcun esempio simile a questo.