ACL RD-TEC 1.0 Summarization of E91-1035
Paper Title:
PROOF FIGURES AND STRUCTURAL OPERATORS FOR CATEGORIAL GRAMMAR
PROOF FIGURES AND STRUCTURAL OPERATORS FOR CATEGORIAL GRAMMAR
Authors: Guy Barry and Mark Hepple and Neil Leslie and Glyn Morrill
Primarily assigned technology terms:
Other assigned terms:
- ambiguity
- approach
- categorial grammar
- categorial grammars
- cognitive
- deduction
- derivation
- derivational equivalence
- derivations
- empty string
- grammar
- grammars
- index
- inference rules
- interpretation
- lambda
- lexical item
- linguistic
- linguistic description
- linguistic phenomena
- linguistic structure
- linguistic work
- logic
- meaning
- meanings
- mechanisms
- modality
- natural language
- normal form
- noun phrases
- nouns
- permutation
- process
- pronoun
- proposition
- propositions
- relation
- relative clause
- relative pronoun
- schema
- semantic
- sentences
- spurious ambiguity
- style
- symbols
- term
- terms
- theories
- theory
- tree
- understanding
- verb
- word
- words
