Keyword:Lambek calculus

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