Repository | Book | Chapter
(2016) Epistemology, knowledge and the impact of interaction, Dordrecht, Springer.
In this paper, we present an extension to Martin-Löf's Intuitionistic Type Theory which gives natural solutions to problems in pragmatics, such as pronominal reference and presupposition. Our approach also gives a simple account of donkey anaphora without resorting to exotic scope extension of the sort used in Discourse Representation Theory and Dynamic Semantics, thanks to the proof-relevant nature of type theory.
Publication details
Full citation:
McAdams, D. , Sterling, J. (2016)., Dependent types for pragmatics, in J. Redmond, O. Martins & Ã. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 123-139.
This document is unfortunately not available for download at the moment.