Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Traduction des Grammaires Cat\'egorielles de Lambek dans les Grammaires
  Cat\'egorielles Abstraites   Lambek Grammars (LG) are a computational modelling of natural language, based
on non-commutative compositional types. It has been widely studied, especially
for languages where the syntax plays a major role (like English). The goal of
this internship report is to demonstrate that every Lambek Grammar can be, not
entirely but efficiently, expressed in Abstract Categorial Grammars (ACG). The
latter is a novel modelling based on higher-order signature homomorphisms
(using $\lambda$-calculus), aiming at uniting the currently used models. The
main idea is to transform the type rewriting system of LGs into that of
Context-Free Grammars (CFG) by erasing introduction and elimination rules and
generating enough axioms so that the cut rule suffices. This iterative approach
preserves the derivations and enables us to stop the possible infinite
generative process at any step. Although the underlying algorithm was not fully
implemented, this proof provides another argument in favour of the relevance of
ACGs in Natural Language Processing.

23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph