The version proposed here combines a basic insight from Lewin ( 1990 ) with higher-order unification to give an analysis that has a strong resemblance to that proposed in Pereira ( 1990 , 1991 ) , with some differences that are commented on below .
categorial semantics and scoping
Fernando C N Pereira
We can implement a deductive theory of quantifier scope using the conditional equivalence mechanism . The version proposed here combines a basic insight from Lewin ( 1990 ) with higher-order unification to give an analysis that has a strong resemblance to that proposed in Pereira ( 1990 , 1991 ) , with some differences that are commented on below . Like Pereira 's approach , it avoids the need for a free variable constraint , nor does it need the explicit recursion on the quantifier restriction imposed by Lewin .
The version proposed here combines a basic insight from Lewin ( 1990 ) with higher-order unification to give an analysis that has a strong resemblance to that proposed in @@CITATION , 1991 ) , with some differences that are commented on below .