Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the system F as a glue language for natural-language
  compositional-semantics   In order to model in compositional framework some phenomena of lexical
pragmatics and in particular the ones studied by Nicholas Asher several
contributions developed in our team did use the system F of Jean-Yves Girard to
construct logical formulae expressing the meaning of sentences --- while other
authors prefer to use Per Martin-L\"of's type theory In this note we explain
the motivations supporting our preference for system F.

28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat