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