other,9-2-P01-1047,bq | </term> leads to a neat relation to <term> | categorial grammar | </term> , ( yielding a treatment of <term> | #1955 Our logical definition leads to a neat relation to categorial grammar , (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |