理論言語学における重要な発見の1つに，代名詞の特定の解釈が統語構造により制限されるという「交差効果」がある．交差効果は統語構造上の移動操作に基づいて分析されることが標準的であるが，近年，このような統語的な分析では説明しきれない，より一般化された形の交差効果が提唱されている．本研究はこの課題に対して，型理論に基づくアプローチを提案する．具体的には，依存型意味論という枠組みを用いて，意味表示としての型が持つ構造的関係を介して交差効果を分析することにより，従来よりも統一性の高い理論が得られることを主張する．

自然言語の代名詞は，具体的な対象を指示するだけでなく，別の表現に依存した変数のような振る舞いをすることがある．例えば(1)では，「それぞれの少女𝑥が𝑥の母親を愛する」という，少女に応じて代名詞の参照先が変わる解釈が可能である．この現象を束縛変項照応(boundvariableanaphora;BVA)といい，以下では(1)に示すような添え字で表現する．(1)Everygirl𝑖lovesher𝑖mother.BVAは，統語構造に関する非対称性を示すことが知られている．例えば，(1)におけるeverygirlとherの間の構造的な関係を入れ替えた(2)では，BVA解釈が容認されない．(2)*Her𝑖motherloveseverygirl𝑖.このように構造的な関係に応じてBVAが阻止される効果のことを，交差効果(crossovereﬀect)という．交差効果は通言語的に観察されており，統語構造と意味を対応させる人間の認知機構の基本的な性質を反映していると考えられている[1]．多くの理論は，交差効果を統語構造における移動(movement)操作と関連付けて分析している[2,3,4]．しかし[5]は，統語的移動を伴うとは考えられていない投射(projection)という意味現象にも(2)と同様の制約が観察されることを指摘し，一般化交差効果(generalizedcrossovereﬀect)という新たな経験的一般化を提唱した．これは，純粋に統語的な分析ではBVAを十分に説明しきれない可能性を示唆しており，既存理論にとっての課題を提示している．本研究はこの課題に，型理論に基づく意味論の枠組みである依存型意味論(DependentTypeSemantics;DTS)[6]を用いて取り組む．DTSは命題を型によって表現する枠組みであり，型が持つ変数スコープの構造を統語構造の代わりに用いることによって，(2)のような量化詞に関する交差効果を説明できる[7]．本研究は，投射を扱うための機構を適切に定義することによって，従来のDTSの交差効果の分析を一般化交差効果へと統一的な形で拡張できることを示す．