#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 ).
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,22-2-P01-1047,ak
<term>
Montague semantics
</term>
) , a
<term>
parsing-as-deduction
</term>
in a
<term>
resource sensitive logic
#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).