ACL RD-TEC 1.0 Summarization of E99-1009
Paper Title:
GEOMETRY OF LEXICO-SYNTACTIC INTERACTION
GEOMETRY OF LEXICO-SYNTACTIC INTERACTION
Primarily assigned technology terms:
- algorithm
- coding
- functional composition
- graph reduction
- illustration
- lambda conversion
- lambek calculus
- lambek proof
- language processing
- lexical insertion
- linking
- natural deduction
- partitioning
- processing
- reading
- reasoning
- search
- semantic evaluation
- semantic extraction
- sequent calculus
- synchronization
- type raising
Other assigned terms:
- ambiguity
- axioms
- case
- categorial grammar
- composition
- concept
- deduction
- deduction proof
- derivation
- derivational equivalence
- derivations
- empty string
- fact
- feature
- formalism
- frame
- grammar
- index
- inferences
- interpretation
- interpretation process
- lambda
- lambda term
- lexical categories
- lexical category
- lexical semantic
- lexical semantics
- lexical type
- linear logic
- logic
- mapping
- method
- names
- normal form
- parallelism
- paraphrase
- paraphrases
- permutation
- phrase
- phrase structure
- phrase structure grammar
- polarity
- process
- proper name
- proper names
- reflexivity
- rule schemata
- search space
- semantic
- sentences
- spurious ambiguity
- structural ambiguity
- synonyms
- syntactic derivation
- term
- terms
- theorem
- transitive verbs
- transitivity
- trees
- user
- vocabulary
- words
