Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00413340
Contributor : Richard Moot <>
Submitted on : Thursday, September 3, 2009 - 5:46:03 PM
Last modification on : Friday, November 6, 2020 - 11:42:27 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:10:51 PM

File

he.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00413340, version 1

Collections

Citation

Richard Moot. Type-Logical and Hyperedge Replacement Grammars. [Research Report] LaBRI; INRIA. 2008, pp.70. ⟨inria-00413340⟩

Share

Metrics

Record views

90

Files downloads

97