Skip to Main content Skip to Navigation
New interface
Conference papers

Modélisation des mouvements explicites dans les ACG avec le produit dépendant

Florent Pompigne 1, * 
* Corresponding author
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Abstract Categorial Grammars (ACG) is a grammatical framework based on linear lambda-calculus. As in Muskens' Lambda Grammars, an abstract term in this kind of categorial grammar can be realized in different directions, such as syntactic and semantic ones. This structure provides autonomy for these different processings. ACG's architecture is independent from the used logic and so the type system is easily extensible in order to deal better with some linguistic phenomena. This paper will be concerned with the issue of overt grammatical movements, in particular extraction constraints in relative propositions, and how several close frameworks deal with it. We will introduce the dependent product construction and show how use it to capture this phenomenon in ACG.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Florent Pompigne Connect in order to contact the contributor
Submitted on : Thursday, December 17, 2009 - 3:43:36 PM
Last modification on : Friday, February 4, 2022 - 3:31:10 AM
Long-term archiving on: : Thursday, June 17, 2010 - 9:59:10 PM


Files produced by the author(s)


  • HAL Id : inria-00441912, version 1



Florent Pompigne. Modélisation des mouvements explicites dans les ACG avec le produit dépendant. Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2009 - RECITAL, LIPN, Jun 2009, Senlis, France. ⟨inria-00441912⟩



Record views


Files downloads