Keyword:Montague semantics

Papers
Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. Davide Catta, Richard Moot and Christian Retoré EasyChair Preprint no. 209
On Logical Relations and Conservativity Philippe de Groote In:NLCS'15. Third Workshop on Natural Language and Computer Science