Type-Logical and Hyperedge Replacement Grammars

Abstract : This article gives a much more detailed account of my TAG+ paper. It identifies fragments of the multimodal Lambek calculus and the Lambek-Grishin calculus for which we can have polynomial parsing by giving a hyperedge replacement grammar for proof nets in these fragments.
Type de document :
Rapport
[Research Report] 2008, pp.70
Liste complète des métadonnées

https://hal.inria.fr/inria-00413340
Contributeur : Richard Moot <>
Soumis le : jeudi 3 septembre 2009 - 17:46:03
Dernière modification le : samedi 7 avril 2018 - 11:58:01
Document(s) archivé(s) le : mardi 15 juin 2010 - 23:10:51

Fichier

he.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00413340, version 1

Collections

Citation

Type-Logical and Hyperedge Replacement Grammars. [Research Report] 2008, pp.70. 〈inria-00413340〉

Partager

Métriques

Consultations de la notice

65

Téléchargements de fichiers

46