@article{oai:repository.ninjal.ac.jp:00003075,
 author = {Kubota, Yusuke and Mineshima, Koji and Levine, Robert and Bekki, Daisuke},
 journal = {Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures},
 month = {Jun},
 note = {National Institute for Japanese Language and Linguistics, Ochanomizu University, Ohio State University, Ochanomizu University, The scope parallelism in the Geach sentence (Every boy loves, and every girl detests, some saxophonist) and the related parallel interpretation requirement in pronominal binding is a pervasive phenomenon found across different types of coordination and ellipsis phenomena. Previous accounts all resort to additional constraints of some sort that restrict the otherwise flexible syntax-semanticsinterface to avoid overgeneration. In this paper, we propose a novel approach to this long-standing problem. We show that, by taking a proof-theoretic perspective on natural language semantics and by viewing the ambiguity resolution for pronouns and indefinites as underspecification resolution thatinvokes extra proof search, a conceptually natural solution emerges for the problem of interpretive parallelism. The analysis is cast in Dependent Type Semantics, with Hybrid Type-Logical Categorial Grammar as the syntax-semantics interface backbone. For empirical illustration, we show how the proposed approach correctly accounts for the classical Geach paradigm and its pronominal variant.},
 pages = {1--9},
 title = {Underspecification and interpretive parallelism in Dependent Type Semantics},
 year = {2019}
}