ACL RD-TEC 1.0 Summarization of A00-2010
Paper Title:
GENERATION IN THE LAMBEK CALCULUS FRAMEWORK: AN APPROACH WITH SEMANTIC PROOF NETS
GENERATION IN THE LAMBEK CALCULUS FRAMEWORK: AN APPROACH WITH SEMANTIC PROOF NETS
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- case
- curry-howard isomorphism
- decidability
- deduction
- fact
- forest
- formalism
- generation
- generation process
- homomorphism
- index
- interpretation
- lexical entries
- lexical item
- lexical items
- lexicon
- linear logic
- linguistic
- logic
- maps
- meaning
- parse
- parsing process
- polynomial time
- procedure
- process
- proof net
- relation
- semantic
- semantic association
- semantic expression
- sentence
- syntactic categories
- syntactic category
- syntax
- technique
- terms
- tree
- word
- word order
- words
