| tech,22-2-P01-1047,bq | <term> Montague semantics </term> ) , a <term> | parsing-as-deduction | </term> in a <term> resource sensitive logic | #1968 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). |
| tech,40-2-P01-1047,bq | structured data </term> ( based on a <term> | typing-algorithm | </term> and <term> type-unification </term> | #1986 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). |
| tech,42-2-P01-1047,bq | a <term> typing-algorithm </term> and <term> | type-unification | </term> ) . Here we emphasize the connection | #1988 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 ). |
