Switch to: Citations

References in:

Lambda Grammars and the Syntax-Semantics Interface

In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155 (2001)

Add references

You must login to add references.
  1. Essays in Logical Semantics.John Hawthorn - 1986 - Springer.
    Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can (...)
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
    Download  
     
    Export citation  
     
    Bookmark   359 citations  
  • Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. Stanford, CA: CSLI Publications. pp. 259-279.
    This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • [Omnibus Review].Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
    Download  
     
    Export citation  
     
    Bookmark   14 citations