Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: S\'emantique des d\'eterminants dans un cadre richement typ\'e   The variation of word meaning according to the context leads us to enrich the
type system of our syntactical and semantic analyser of French based on
categorial grammars and Montague semantics (or lambda-DRT). The main advantage
of a deep semantic analyse is too represent meaning by logical formulae that
can be easily used e.g. for inferences. Determiners and quantifiers play a
fundamental role in the construction of those formulae. But in our rich type
system the usual semantic terms do not work. We propose a solution ins- pired
by the tau and epsilon operators of Hilbert, kinds of generic elements and
choice functions. This approach unifies the treatment of the different determi-
ners and quantifiers as well as the dynamic binding of pronouns. Above all,
this fully computational view fits in well within the wide coverage parser
Grail, both from a theoretical and a practical viewpoint.

12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex