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...

Full description

Bibliographic Details
Main Author: Gotham, M
Other Authors: Bernardi, R
Format: Conference item
Published: Springer-Verlag Berlin Heidelberg 2019