This volume contributes to a linguistic program characterized by the view that explanatory goals in syntax and semantics can be met only in models that are sufficiently formalized. The properties of these formalizations must be well understood, and they have to do justice to both the syntactic and semantic aspects of a construction. The contributions shed light on this view from the perspectives of theoretical linguistics (semantics, syntax), automata theory, and computational and mathematical linguistics.