Types as Graphs: Continuations in Type Logical Grammar

Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a new, geometric (graph-theoretic) interpretation for in-situ quantification. The proposal also motivates the limited use of empty antecedents in derivations. In addition, because continuations are the tool of choice for reasoning about such things as evaluation order or parameter passing, our system provides a principled way to express generalizations concerning semantic side-effects within an ordinary multimodal typelogical framework. We illustrate the utility of these techniques by providing improved accounts of quantificational binding, weak crossover, wh-questions, superiority, and polarity licensing.

• Type: Journal
• Year: 2006
• Where: JOLLI
• Authors: Chris Barker, Chung-chieh Shan
• Keywords: JOLLI 2006, Multimodal Typelogical Framework, Programming-language Concept, Type Logical Grammar