HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Zhaohui Luo

Publications
Propositional Forms of Judgemental Interpretations
Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis
EasyChair Preprint no. 221
Substructural Calculi with Dependent Types
Zhaohui Luo
EasyChair Preprint no. 421

Keyphrases

dependent types, formal semantics, Judgemental Interpretation, Lambek calculus, linear logic, substructural calculus, type theory.

Copyright © 2012-2023 easychair.org. All rights reserved.