共 50 条
- [22] Non-commutative Logic for Compositional Distributional Semantics LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, 2017, 10388 : 110 - 124
- [23] Pomset logic: A non-commutative extension of classical linear logic TYPED LAMBDA CALCULI AND APPLICATIONS, 1997, 1210 : 300 - 318
- [27] Natural deduction for intuitionistic non-commutative linear logic TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 295 - 309