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- .