Dependent Types for Pragmatics

2014/10/17 by Darryl McAdams, McAdams, Darryl, Jonathan Sterling +1 · 1 voice
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques #Semantic Web and Ontologies #cs.CL

paper · pdf · doi:10.48550/arxiv.1410.4639

This version updates the paper for publication in LEUS

openalex publication_date 2014/10/17 · arxiv published 2014/10/17 · arxiv created 2015/07/22 · arxiv updated 2015/07/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This paper proposes the use of dependent types for pragmatic phenomena such as pronoun binding and presupposition resolution as a type-theoretic alternative to formalisms such as Discourse Representation Theory and Dynamic Semantics.

Discussions

• This is such a cool paper Dependent Types for Pragmatics by Derryl McAdams and Jonathan Sterling arxiv.org/pdf/1410.4639 [bsky, 0 points, 0 comments]

Related

• A propositions-as-types approach to the generalized crossover effect
• Discourse Preferences in Dynamic Logic
• A type-theoretical approach to Universal Grammar
• Pragmatic functions, semantic classes, and lexical categories
• Indefeasible Semantics and Defeasible Pragmatics