Lots of work on this kind of thing. A good starting point is https://en.wikipedia.org/wiki/Combinatory_categorial_grammar https://en.wikipedia.org/wiki/Combina

Lots of work on this kind of thing. A good starting point is https://en.wikipedia.org/wiki/Combinatory_categorial_grammar https://en.wikipedia.org/wiki/Combinatory_categorial_grammar