Dynamic control of scope underspecification
Our goal is the underspecified representation and the
control of ambiguities of quantifier scope. To this aim,
we reformulate USDL (Pinkal 1996) in the dynamic lambda
calculus DLC (Kohlhase and Kuschert 1997), which provides
tight record and control over variables and their binders.
This control serves as a means of expressing restrictions
on scope ambiguity of quantifiers in underspecified
representations.
Markus Egg and Michael Kohlhase