text: Our logical definition leads to a neat relation to categorial grammar , -LRB- yielding a treatment of Montague semantics -RRB- , a parsing-as-deduction in a resource sensitive logic , and a << learning algorithm >> from structured data -LRB- based on a [[ typing-algorithm ]] and type-unification -RRB- .