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