HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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