Workshop on Mathematical Linguistics
University of Ottawa, June 18-19, 2003

The idea behind type grammars (or categorial grammars) is to assign
one or more types to each word in the dictionary, so that one can
decide by a computation whether a string of words is a grammatical
sentence. The types may be taken as elements of an algebra or as terms
of a substructural logic. Some researchers have also begun to
incorporate lattice (additive) operations to strengthen the generating
power of the grammars, and others have looked at relations with
Montague semantics, Chomsky's minimalist program, and general logical
systems. This workshop gathers mathematical linguists from around the
world to discuss the state of the art in type grammars and their role
in mathematical linguistics.