| HAL-Inria | Publications, software ... of Inria's scientists |
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.
https://hal.inria.fr/inria-00413340
Contributor : Richard Moot Connect in order to contact the contributor
Submitted on : Thursday, September 3, 2009 - 5:46:03 PM
Last modification on : Saturday, June 25, 2022 - 10:31:52 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:10:51 PM
Contributor : Richard Moot Connect in order to contact the contributor
Submitted on : Thursday, September 3, 2009 - 5:46:03 PM
Last modification on : Saturday, June 25, 2022 - 10:31:52 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:10:51 PM
File
he.pdf
Files produced by the author(s)