Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Sarah Maarek Connect in order to contact the contributor
Submitted on : Thursday, November 15, 2007 - 11:19:13 AM
Last modification on : Friday, February 4, 2022 - 3:31:57 AM
Long-term archiving on: : Monday, September 24, 2012 - 3:26:15 PM


Files produced by the author(s)


  • HAL Id : inria-00187759, version 1



Philippe de Groote, Sarah Maarek. Type-theoretic extensions of Abstract Categorial Grammars. 2007. ⟨inria-00187759⟩



Record views


Files downloads