Dependent Types for Pragmatics

This work addresses challenges in computational linguistics and natural language processing for researchers and practitioners by offering a novel theoretical approach, though it appears incremental as it builds on type theory rather than introducing a new paradigm.

The paper tackles the problem of modeling pragmatic phenomena like pronoun binding and presupposition resolution by proposing dependent types as an alternative to existing formalisms such as Discourse Representation Theory and Dynamic Semantics, resulting in a type-theoretic framework for these linguistic tasks.