Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.EasyChair Preprint no. 209, version historyKeyphrases: beta-reduction, categorial grammar, head variable, Montague semantics, typed lambda calculus |