ACL RD-TEC 1.0 Summarization of C90-2030
Paper Title:
NORMAL FORM THEOREM PROVING FOR THE LAMBEK CALCULUS
NORMAL FORM THEOREM PROVING FOR THE LAMBEK CALCULUS
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- categorial grammar
- deduction
- deduction proof
- fact
- grammar
- inference rules
- inferences
- lambda
- lambda expression
- leaf
- lemma
- linear order
- logical equivalence
- mapping
- meaning
- meanings
- method
- normal form
- parsing approach
- parsing strategy
- procedure
- relation
- semantic
- sentence
- style
- symbols
- syntax
- syntax tree
- term
- terms
- theorem
- theoremhood
- tree
- trees
- words
