The lexicon of any natural language encodes a huge number of distinct word meanings. Just
to understand this article, you will need to know what thousands of words mean. The space …

I motivate a new theory of exceptional scope phenomena in natural language—that is, the
ability of some expressions to affect the interpretation of others from inside scope islands. I …

I propose the first strictly compositional semantic account of same. New data, including
especially NP-internal uses such as two men with the same name, suggests that same in its …

We propose that the antecedent of a donkey pronoun takes scope over and binds the
donkey pronoun, just like any other quantificational antecedent would bind a pronoun. We …

This paper analyzes sluicing as anaphora to an anti-constituent (a continuation), that is, to
the semantic remnant of a clause from which a subconstituent has been removed. For …

Apparently noncompositional phenomena in natural languages can be analyzed like
computational side effects in programming languages: anaphora can be analyzed like state …

This dissertation investigates the pragmatic aspects of scalar modifiers from the standpoint
of the interface between semantics and pragmatics, focusing on (i) the (non) parallelism …

Abstract The Lambek-Grishin calculus is a symmetric version of categorial grammar
obtained by augmenting the standard inventory of type-forming operations (product and …

Categorial grammars in the tradition of Lambek are asymmetric: sequent statements are of
the form Γ⇒ A, where the succedent is a single formula A, the antecedent a structured …

We propose type systems that abstractly interpret small-step rather than big-step operational
semantics. We treat an expression or evaluation context as a structure in a linear logic with …