Switch to: References

Add citations

You must login to add citations.
  1. Types as Graphs: Continuations in Type Logical Grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.
    Using the programming-language concept of continuations, we propose a new, multimodal analysis of quantification in Type Logical Grammar. Our approach provides a geometric view of in-situ quantification in terms of graphs, and motivates the limited use of empty antecedents in derivations. Just as continuations are the tool of choice for reasoning about evaluation order and side effects in programming languages, our system provides a principled, type-logical way to model evaluation order and side effects in natural language. We illustrate with an (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations