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 metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00441912
Contributor : Florent Pompigne <>
Submitted on : Thursday, December 17, 2009 - 3:43:36 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Long-term archiving on : Thursday, June 17, 2010 - 9:59:10 PM

File

recital-article.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00441912, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

116

Files downloads

338