tech,22-2-P01-1047,bq |
<term>
Montague semantics
</term>
) , a
<term>
|
parsing-as-deduction
|
</term>
in a
<term>
resource sensitive logic
|
#1968
Our 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,bq |
a
<term>
typing-algorithm
</term>
and
<term>
|
type-unification
|
</term>
) . Here we emphasize the connection
|
#1988
Our 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,bq |
structured data
</term>
( based on a
<term>
|
typing-algorithm
|
</term>
and
<term>
type-unification
</term>
|
#1986
Our 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). |