ACL RD-TEC 1.0 Summarization of C96-1091
Paper Title:
A COMPILATION-CHART METHOD FOR LINEAR CATEGORIAL DEDUCTION
A COMPILATION-CHART METHOD FOR LINEAR CATEGORIAL DEDUCTION
Primarily assigned technology terms:
Other assigned terms:
- approach
- argument position
- case
- deduction
- derivation
- fact
- feature
- formalism
- formalisms
- grammar
- implementation
- index
- inference rule
- labeling
- lambda
- lambda term
- latex
- lexical categories
- linear logic
- logic
- meaning
- method
- normal form
- polarity
- positive polarity
- procedure
- process
- prolog implementation
- query
- recipe
- resource sensitivity
- semantic
- term
- terms
- theorem
- tile agenda
