The multimodal Lambek calculus is an extension of the Lambek calculus th...
We study how to relate well-known hypergraph grammars based on the doubl...
The hyperedge replacement grammar (HRG) formalism is a natural and well-...
In this paper hypergraph Lambek calculus (HL) is presented. This
formali...