Keyword:Lambek calculus

Papers
Transformation of DPO Grammars into Hypergraph Lambek Grammars with the Conjunctive Kleene Star Tikhon Pshenitsyn EasyChair Preprint no. 8614
Substructural Calculi with Dependent Types Zhaohui Luo EasyChair Preprint no. 421