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 metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00187759
Contributor : Sarah Maarek <>
Submitted on : Thursday, November 15, 2007 - 11:19:13 AM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Document(s) archivé(s) le : Monday, September 24, 2012 - 3:26:15 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00187759, version 1

Collections

Citation

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

Share

Metrics

Record views

360

Files downloads

303