#1969Our 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,ak
structured data
</term>
( based on a
<term>
typing-algorithm
</term>
and
<term>
type-unification
</term>
#1987Our 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,ak
a
<term>
typing-algorithm
</term>
and
<term>
type-unification
</term>
) . Here we emphasize the connection
#1989Our 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 ).