Type-theoretic extensions of Abstract Categorial Grammars

Philippe De Groote 1 Sarah Maarek 1
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), in their original definition, are based on the linear λ-calculus. This choice derives from the traditional categorial grammars, which are based on resource sensitive logics. From a language-theoretic standpoint, this linearity constraint does not result in a weak expressive power of the formalism. For instance, the string languages generated by the second-order ACGs (whose parsing is known to be polynomial) corresponds to the class of mildly context sensitive lan- guages. From a more practical point of view, however, it would be interesting to increase the intentional expressive power of the formalism by providing high level constructs. For instance, one would like to provide the ACGs with feature structures, as it is the case in most current grammatical formalisms. In previous paper, a possible way of extending the ACGs is suggested. It consists of enriching the type system of the formalism with new type constructors. The present paper elaborates on this proposal.
Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

Contributeur : Sarah Maarek <>
Soumis le : jeudi 15 novembre 2007 - 11:19:13
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : lundi 24 septembre 2012 - 15:26:15


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00187759, version 1



Philippe De Groote, Sarah Maarek. Type-theoretic extensions of Abstract Categorial Grammars. 2007. 〈inria-00187759〉



Consultations de la notice


Téléchargements de fichiers