Rozdział w monografii
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Generalized Quantifiers on Dependent Types: A System for Anaphora

Uproszczony widok
dc.abstract.enWe 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.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorGrudzińska-Zawadowska, Justyna
dc.contributor.authorZawadowski, Marek
dc.date.accessioned2024-01-28T20:35:00Z
dc.date.available2024-01-28T20:35:00Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.identifier.doi10.1007/978-3-319-50422-3_5
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/153256
dc.identifier.weblinkhttps://link.springer.com/chapter/10.1007/978-3-319-50422-3_5
dc.languageeng
dc.pbn.affiliationphilosophy
dc.publisher.ministerialSpringer
dc.relation.bookModern Perspectives in Type-Theoretical Semantics
dc.relation.pages95-131
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.subject.enParallel Composition
dc.subject.enDependent Type
dc.subject.enBinding Variable
dc.subject.enVariable Declaration
dc.subject.enMajor Conference
dc.titleGeneralized Quantifiers on Dependent Types: A System for Anaphora
dc.typeMonographChapter
dspace.entity.typePublication