A gramática categorial é usada como base para explorar relações entre estrutura sintática e interpretação semântica, com foco em mecanismos formais e exemplos aplicados.

Modelos computacionais são discutidos no contexto do processamento de linguagem natural; a análise considera restrições formais e implicações semânticas.

O enfoque privilegia a integração entre teoria e implementação, destacando aplicações em sistemas de interpretação e em propostas para representação sintática.