共 50 条
- [11] Functional Interpretations of Intuitionistic Linear Logic [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 3 - 19
- [12] A note on full intuitionistic linear logic [J]. ANNALS OF PURE AND APPLIED LOGIC, 1996, 79 (03) : 281 - 287
- [13] Cones as a model of intuitionistic linear logic [J]. PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 370 - 383
- [15] Normal deduction in the intuitionistic linear logic [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (5-6) : 415 - 425
- [20] Relating Categorical Semantics for Intuitionistic Linear Logic [J]. Applied Categorical Structures, 2005, 13 : 1 - 36