Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.