Handling Verb Phrase Anaphora with Dependent Types and Events

Daniyar Itegulov, Ekaterina Lebedeva

This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type…