LACL 2011 Accepted Papers
Some generalised comparative determiners
Using tree transducers for grammatical inference
Using Logic in the Generation of Referring Expressions
Polarized Classical Non-associative Lambek Calculus and Formal Semantics
Contextual Analysis of Word Meanings in Type-Theoretical Semantics
Distributional Learning of Abstract Categorial Grammars
Conditional Logic Cb and its Tableau System
Closure Properties of Minimalist Derivation Tree Languages
The product-free Lambek-Grishin calculus is NP-complete
Event in Compositional Dynamic Semantics
Do Dialogues Have Content?
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types
Logic Programming of the Displacement Calculus
Well-Nestedness Properly Subsumes Strict Derivational Minimalism
Minimalist Tree Languages are closed under intersection with recognizable tree languages
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
Copredication, quantification and frames
Are (Linguist's) Propositions Topos Propositions?