Keyword:Montague semantics

Publications
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 209
On Logical Relations and Conservativity Philippe de Groote In:NLCS'15. Third Workshop on Natural Language and Computer Science