On some similarities between D-tree grammars and type-logical grammars.
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars.