| other,6-1-P01-1047,bq | <term> logical definition </term> of <term> | Minimalist grammars | </term> , that are <term> Stabler 's formalization | #1932 We provide a logical definition of Minimalist grammars , that are Stabler's formalization of Chomsky's minimalist program. |
| other,34-2-P01-1047,bq | <term> learning algorithm </term> from <term> | structured data | </term> ( based on a <term> typing-algorithm | #1980 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). |
