Lots of work on this kind of thing.

A good starting point is https://en.wikipedia.org/wiki/Combinatory_categorial_grammar