Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.

EasyChair Preprint no. 209, version history

Davide Catta, Richard Moot and Christian Retoré

Version	Date	Pages	Version notes
1	June 1, 2018	13	—
2	August 22, 2018	15	This version makes both the central definition (dominance relation) and the proof of the main result clearer.

Keyphrases: beta-reduction, categorial grammar, head variable, Montague semantics, typed lambda calculus

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@Booklet{EasyChair:209,
  author = {Davide Catta and Richard Moot and Christian Retoré},
  title = {Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.},
  howpublished = {EasyChair Preprint no. 209},
  doi = {10.29007/mhx8},
  year = {EasyChair, 2018}}