Higher order grammar

Higher order grammar (HOG) is a grammar theory based on higher-order logic. It can be viewed simultaneously as generative-enumerative (like categorial grammar and principles and parameters) or model theoretic (like head-driven phrase structure grammar or lexical functional grammar).

...
Wikipedia