HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.