Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Type-theoretical natural language semantics: on the system F for meaning
  assembly   This paper presents and extends our type theoretical framework for a
compositional treatment of natural language semantics with some lexical
features like coercions (e.g. of a town into a football club) and copredication
(e.g. on a town as a set of people and as a location). The second order typed
lambda calculus was shown to be a good framework, and here we discuss how to
introduced predefined types and coercive subtyping which are much more natural
than internally coded similar constructs. Linguistic applications of these new
features are also exemplified.

31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol