Generalized Quantifiers on Dependent Types: A System for Anaphora

We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our system allows a uniform treatment of the major types of unbound anaphora, with the anaphoric (dynamic) effects falling out naturally as a consequence of having generalized quantification on dependent types.