Aborda a teoria clausal dos tipos com foco em estrutura formal e implicações sintáticas para a linguística teórica.

Destinado a leitores em programas de pós-graduação e pesquisadores interessados em semântica formal e teoria dos tipos; inclui discussões técnicas e exemplos formais.

Útil como recurso em seminários avançados e cursos de teoria linguística, servindo como referência para estudos sobre composição e representação clausal.