2 citations · 2 across the 1 of their papers we have counts for
1 paper
Jiaming Jiang, Harley Eades, Valeria de Paiva
In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing…