ACL RD-TEC 1.0 Summarization of C94-2201
Paper Title:
DISCONTINUITY AND THE LAMBEK CALCULUS
DISCONTINUITY AND THE LAMBEK CALCULUS
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- case
- categorial grammar
- categorial grammars
- deduction
- derivations
- formalisms
- functional structure
- grammar
- grammars
- inference rules
- inferences
- infixation
- interpretation
- labeling
- lambda
- lambda term
- lexical entry
- lexical semantics
- lexical string
- lexical type
- linear order
- linguistic
- linguistic phenomena
- logic
- maps
- meaning
- method
- phrase
- phrase structure
- phrase structure trees
- projection
- pronoun
- proof net
- quantifier
- relation
- relative clause
- relative pronoun
- representations
- semantic
- sentence
- subcategorisation
- substring
- term
- terms
- theorem
- transformation
- tree
- trees
- typed lambda calculus
- vocabulary
- word
- word order
- word string
