Quantificational subordination as anaphora to a function
In [11], a semantics for cross-sentential and donkey anaphora is presented that is inspired by approaches using dependent types but couched in simple type theory with parametric polymorphism. In this paper, the approach is extended to cover quantificational subordination. It is argued that the appro...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Published: |
Springer-Verlag Berlin Heidelberg
2019
|
| _version_ | 1797088975773499392 |
|---|---|
| author | Gotham, M |
| author2 | Bernardi, R |
| author_facet | Bernardi, R Gotham, M |
| author_sort | Gotham, M |
| collection | OXFORD |
| description | In [11], a semantics for cross-sentential and donkey anaphora is presented that is inspired by approaches using dependent types but couched in simple type theory with parametric polymorphism. In this paper, the approach is extended to cover quantificational subordination. It is argued that the approach enjoys advantages over existing accounts in type-theoretical semantics. |
| first_indexed | 2024-03-07T02:57:49Z |
| format | Conference item |
| id | oxford-uuid:afebe83f-2de6-4c86-9da0-e57050557771 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:57:49Z |
| publishDate | 2019 |
| publisher | Springer-Verlag Berlin Heidelberg |
| record_format | dspace |
| spelling | oxford-uuid:afebe83f-2de6-4c86-9da0-e570505577712022-03-27T03:52:44ZQuantificational subordination as anaphora to a functionConference itemhttp://purl.org/coar/resource_type/c_5794uuid:afebe83f-2de6-4c86-9da0-e57050557771Symplectic Elements at OxfordSpringer-Verlag Berlin Heidelberg2019Gotham, MBernardi, RKobele, GPogodalla, SIn [11], a semantics for cross-sentential and donkey anaphora is presented that is inspired by approaches using dependent types but couched in simple type theory with parametric polymorphism. In this paper, the approach is extended to cover quantificational subordination. It is argued that the approach enjoys advantages over existing accounts in type-theoretical semantics. |
| spellingShingle | Gotham, M Quantificational subordination as anaphora to a function |
| title | Quantificational subordination as anaphora to a function |
| title_full | Quantificational subordination as anaphora to a function |
| title_fullStr | Quantificational subordination as anaphora to a function |
| title_full_unstemmed | Quantificational subordination as anaphora to a function |
| title_short | Quantificational subordination as anaphora to a function |
| title_sort | quantificational subordination as anaphora to a function |
| work_keys_str_mv | AT gothamm quantificationalsubordinationasanaphoratoafunction |