As relações entre referência e representação formal são discutidas com foco em teoria semântica e modelos computacionais. O autor apresenta exemplos de sistemas formais que tratam de anáforas e denotação.

No contexto computacional, o livro examina métodos algorítmicos para resolução de referência e representação de significado. Inclui descrições de algoritmos e casos de uso que ilustram desafios em processamento de linguagem natural.

Leitura útil para quem aborda semântica formal e aplicações em PNL, com atenção a problemas práticos de implementação. Contém exemplos que relacionam conceitos teóricos a soluções computacionais.