Dependent Types for Pragmatics
Computation and Language
2015-07-23 v3
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.
Keywords
Cite
@article{arxiv.1410.4639,
title = {Dependent Types for Pragmatics},
author = {Darryl McAdams and Jonathan Sterling},
journal= {arXiv preprint arXiv:1410.4639},
year = {2015}
}
Comments
This version updates the paper for publication in LEUS