| Ph.D
student SIGNES Project - INRIA Sud-Ouest Contact: pierre-d-bourreau-a-labri-d-fr (where d and a stand for dot and at respectively...) Address: LaBRI - Université Bordeaux 1 351, Cours de la Libération 33405 Talence Cedex |
![]() |
Research |
| Keywords:
Abstract Categorial Grammar, Lambda-Calculus, Linear Logic, Game
Semantics, Typing Theory, Formal Grammars I am currently preparing a Ph.D at the Université Bordeaux 1, under the supervision of Christian Retoré and Sylvain Salvati. I am particlarly interested in Abstract Categorial Grammars (ACG), a formalism proposed by Philippe de Groote, in which syntax and semantics are both represented as the result (Object Grammar) of morphisms' application on a representation of the grammatical form of the lexicon (Abstract Grammar). The formalism basically relies on the use of linear lambda-terms (i.e. lambda-terms where bound variables appear exactly once). While ACG were first studied for their facility of encoding different well-known formalisms (Tree-Adjoining Grammars, Linear Context Free Rewriting Systems, Multiple Context Free Grammars, etc...), which are known to generate mildly-context sensitive languages, Makoto Kanazawa then proposed a method for Parsing and Generation, where some specific ACGs (second-order ACGs) are encoded as Datalog programs and databases. Although ACG originally kept the use of linear logic, Kanazawa showed that it is possible to relax this constraint to some specific lambda-terms: almost-linear lambda terms. My current investigations focuses on relaxing even more this constraint, and to look at the linguistic gains. |
Short Curriculum |
|
Teaching |
|
Other activities |
|